722 search results - page 83 / 145 » The State Operator in Real Time Process Algebra |
100
click to vote
OSDI
2002
ACM
16 years 5 days ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
102
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
147
click to vote
DBA
2006
15 years 1 months ago
2006
Indexing time series data is an interesting problem that has attracted much interest in the research community for the last decade. Traditional indexing methods organize the data ...
102
click to vote
IJCAI
2001
15 years 1 months ago
2001
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...