9974 search results - page 1341 / 1995 » Software Interconnection Models |
181
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
170
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
194
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
193
Voted
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
211
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...