56 search results - page 2 / 12 » A Metamodel for Verifying Institutions |
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
APSEC
2008
IEEE
13 years 11 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
ECIS
2004
13 years 6 months ago
2004
Assuming a rational perspective, the adoption and development of a new organisational technology can be viewed as a way to achieve an higher level of efficiency by finding the bes...