2661 search results - page 275 / 533 » A Semantics for Abstraction |
163
Voted
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
182
click to vote
DALT
2003
Springer
15 years 12 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...
189
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
177
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...