4008 search results - page 320 / 802 » An expressive language of signatures |
161
click to vote
ATAL
2005
Springer
16 years 9 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...
150
click to vote
ICMI
2005
Springer
16 years 8 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...
154
click to vote
ITRUST
2005
Springer
16 years 7 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...
141
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
As model-driven development promotes metamodels as key assets it raises the issue of their reuse throughout a model-driven product line life cycle. One recurrent reuse need occurs ...
160
click to vote
WEBDB
2005
Springer
16 years 6 days ago
2005
Springer
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...