2136 search results - page 185 / 428 » A Game-Theoretic Operational Semantics |
112
Voted
GC
2004
Springer
15 years 7 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
129
Voted
USS
2008
15 years 6 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
119
Voted
SYNTHESE
2008
15 years 3 months ago
2008
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
140
Voted
VEE
2006
ACM
15 years 9 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
134
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...