2136 search results - page 187 / 428 » A Game-Theoretic Operational Semantics |
122
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...
132
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...
153
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
116
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
101
click to vote
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...