9821 search results - page 1679 / 1965 » A Framework for the Development of Protocols |
223
click to vote
DAWAK
2001
Springer
15 years 11 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
222
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
170
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
185
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
157
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...