614 search results - page 27 / 123 » A RESTful messaging system for asynchronous distributed proc... |
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
ASAP
2003
IEEE
14 years 2 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
CCGRID
2011
IEEE
2011
IEEE
Network-Friendly One-Sided Communication through Multinode Cooperation on Petascale Cray XT5 Systems
13 years 1 months ago
—One-sided communication is important to enable asynchronous communication and data movement for Global Address Space (GAS) programming models. Such communication is typically re...
ENTCS
2006
13 years 9 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...