1147 search results - page 118 / 230 » Termination in language-based systems |
94
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
93
Voted
ITNG
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
72
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
129
click to vote
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
103
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...