1147 search results - page 118 / 230 » Termination in language-based systems |
149
click to vote
DSN
2006
IEEE
16 years 17 days 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...
160
click to vote
ITNG
2006
IEEE
16 years 15 days 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 ...
123
click to vote
COMPSAC
2005
IEEE
16 years 3 days 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...
192
click to vote
DSVIS
2005
Springer
16 years 1 days 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...
164
click to vote
FROCOS
2005
Springer
16 years 23 hour 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...