2911 search results - page 336 / 583 » A Theory of Expressiveness in Mechanisms |
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
: This paper ANDROMEDA, an astronomical data mediation system that enables transparent access to astronomical data servers. Transparent access is achieved by a global view that exp...
129
Voted
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
108
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
119
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
125
click to vote
FPL
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...