546 search results - page 79 / 110 » An Action Semantics for MML |
ERCIMDL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
127
click to vote
PRIMA
2004
Springer
15 years 7 months ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
123
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
133
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...