882 search results - page 91 / 177 » Analysis of Composite Corridors |
163
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
141
click to vote
TACS
1991
Springer
15 years 9 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
151
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...
150
click to vote
SIAMCO
2008
15 years 6 months ago
2008
This paper presents new graph-theoretic results appropriate to the analysis of a variety of consensus problems cast in dynamically changing environments. The concepts of rooted, s...
161
click to vote
FOCM
2010
15 years 4 months ago
2010
B-series are a fundamental tool in practical and theoretical aspects of numerical integrators for ordinary differential equations. A composition law for B-series permits an elega...