2108 search results - page 255 / 422 » An Operational Semantics for Stateflow |
144
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
135
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
166
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
135
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
121
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...