771 search results - page 22 / 155 » Modelling and Analysing Socio-Technical Systems |
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
FMCO
2006
Springer
15 years 2 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...