2595 search results - page 323 / 519 » Modes in Asynchronous Systems |
165
click to vote
DSVIS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
147
click to vote
NORDICHI
2004
ACM
15 years 12 months ago
2004
ACM
Previous research has sought to utilize everyday messaging metaphors, such as the notice board, in location-based messaging systems. Unfortunately, many of the restrictions associ...
167
click to vote
ICNP
2003
IEEE
15 years 12 months ago
2003
IEEE
Emerging large scale distributed networking systems, such as P2P file sharing systems, sensor networks, and ad hoc wireless networks, require replication of content, functionalit...
177
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
146
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Recent research has made it possible to build information agents that retrieve and integrate information from the World Wide Web. Although there now exist solutions for modeling W...