6201 search results - page 367 / 1241 » Implementation of Axiomatic Language |
146
click to vote
ASM
2005
ASM
16 years 11 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
162
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
182
click to vote
HPCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
155
click to vote
ICMI
2005
Springer
16 years 10 days ago
2005
Springer
Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding of...
157
Voted
ITRUST
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...