496 search results - page 18 / 100 » Using the Temporal Logic RDL for Design Specifications |
107
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
109
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
132
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
127
click to vote
JOT
2007
15 years 1 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
142
Voted
WISE
2006
Springer
15 years 8 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...