5205 search results - page 261 / 1041 » Tilings and model theory |
102
Voted
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
100
Voted
CC
2007
Springer
15 years 4 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
98
Voted
BPM
2003
Springer
15 years 4 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
111
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
101
Voted
BIOSYSTEMS
2007
15 years 23 days ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...