7694 search results - page 674 / 1539 » An Implementation of an Applicative File System |
213
Voted
SIGSOFT
2003
ACM
16 years 15 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
200
click to vote
IDMS
2001
Springer
15 years 11 months ago
2001
Springer
A number of research studies show that the operating system has a substantial influence on communication delay in distributed environments. Thus, in order to provide applications w...
196
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
202
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...
190
click to vote
DSRT
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...