1704 search results - page 174 / 341 » Design of a Concurrent and Distributed Language |
143
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
129
click to vote
IADIS
2004
15 years 4 months ago
2004
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...
136
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
147
Voted
DSRT
1999
IEEE
15 years 7 months ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
123
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...