432 search results - page 74 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
EXPERT
2006
13 years 7 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
CLIMA
2004
13 years 9 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
OSS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...