researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Comput. J.
Home
Index
Info
Issue
Volume
42
, Issue
2
73
--
81
Birgit Schieder
,
Manfred Broy
.
Adapting Calculational Logic to the Undefined
82
--
99
Richard F. Paige
.
Integrating a Program Design Calculus and a Subset of UML
100
--
111
Ykä Huhtala
,
Juha Kärkkäinen
,
Pasi Porkka
,
Hannu Toivonen
.
TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
112
--
128
Chung-Ming Huang
,
Ming-Yuhe Jang
.
Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment
129
--
141
Min-Sheng Lin
,
Deng-Jyi Chen
,
Maw-Sheng Horng
.
The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
142
--
149
W. F. Wong
.
Source Level Static Branch Prediction