110 search results - page 4 / 22 » Strategic Interaction Definition Language |
DAGSTUHL
2006
13 years 7 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
UML
2000
Springer
13 years 9 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
APSEC
2003
IEEE
13 years 11 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
APAL
2006
13 years 5 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...