615 search results - page 45 / 123 » High-Level Nondeterministic Abstractions in |
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper describes an event dissemination algorithm that impletopic-based publish/subscribe interaction abstraction in mobile ad-hoc networks (MANETs). Our algorithm is...
85
Voted
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
109
click to vote
CP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
121
Voted
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...