6201 search results - page 854 / 1241 » Implementation of Axiomatic Language |
166
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
195
click to vote
FIDJI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
173
click to vote
GPCE
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
195
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
170
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...