851 search results - page 98 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
109
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
94
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
125
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
113
Voted
IPPS
2010
IEEE
15 years 15 days ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...
105
Voted
EWSA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...