184 search results - page 23 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
104
Voted
AWIC
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
101
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
184
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
WSC
2008
15 years 2 months ago
2008
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...