575 search results - page 29 / 115 » Transition systems for designing and reasoning about norms |
131
click to vote
CSE
2009
IEEE
14 years 11 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...
117
click to vote
IJCAI
1989
15 years 3 months 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...
145
click to vote
ARGMAS
2008
Springer
15 years 4 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...
116
click to vote
OTM
2005
Springer
15 years 7 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
16 years 2 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...