759 search results - page 46 / 152 » On formal models for social verification |
HVC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
FMAM
2010
14 years 7 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
EASSS
2001
Springer
15 years 2 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...