575 search results - page 29 / 115 » Transition systems for designing and reasoning about norms |
107
click to vote
CSE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
IJCAI
1989
15 years 16 days ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
111
click to vote
ARGMAS
2008
Springer
15 years 1 months ago
2008
Springer
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
OTM
2005
Springer
15 years 4 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...