247 search results - page 4 / 50 » A Dynamic Operational Semantics for JVML |
150
click to vote
ICFEM
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
113
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
102
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
106
Voted
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
142
click to vote
IANDC
2010
14 years 11 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...