778 search results - page 144 / 156 » From Public Views to Private Views - Correctness-by-Design f... |
SIGCOMM
1998
ACM
13 years 11 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
ICALP
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. In this paper we consider the problem of routing packets in dynamically changing networks, using the anycast mode. In anycasting, a packet may have a set of destinations ...
TES
2001
Springer
13 years 11 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
AGENTS
1999
Springer
13 years 11 months ago
1999
Springer
A critical challenge to creating effective agent-based systems is allowing them to operate effectively when the operating environment is complex, dynamic, and error-prone. In this...