11168 search results - page 151 / 2234 » Abstract State Processes |
166
click to vote
WDAG
2010
Springer
15 years 3 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...
149
click to vote
DSRT
2009
IEEE
15 years 9 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
124
Voted
IANDC
2008
15 years 5 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
120
Voted
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. How can artificial or natural agents autonomously gain understanding of its own internal (sensory) state? This is an important question not just for physically embodied ...
147
Voted
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...