1802 search results - page 115 / 361 » Model-based Theory Combination |
ENTCS
2006
13 years 9 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
AUTOMATICA
2002
13 years 9 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
WDAG
2010
Springer
13 years 7 months ago
2010
Springer
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
MOBIHOC
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, we present a Gaussian mixture model based approach to capture the spatial characteristics of any target signal in a sensor network, and further propose a temporally...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...