813 search results - page 91 / 163 » Correctness Properties for Multiagent Systems |
213
Voted
SIGSOFT
2011
ACM
14 years 10 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
112
Voted
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
133
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
131
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
131
click to vote
ENTCS
2007
15 years 3 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...