7918 search results - page 108 / 1584 » Model Composition Directives |
83
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
95
Voted
TSP
2008
15 years 17 days ago
2008
This paper proposes a novel feature-based invariant descriptor termed Radon composite features (RCFs) for planar shapes. Instead of analyzing shapes directly in the spatial domain,...
104
Voted
WDAG
2001
Springer
2001
Springer
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
15 years 5 months ago
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...
101
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— The Chen-Fliess series is known to be an exponential Lie series. Previously explicit formulas for the iterated integral coefficients were known only for its factorizat...