11168 search results - page 86 / 2234 » Abstract State Processes |
142
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
This paper presents distributed bounded-error parameter and state estimation algorithms suited to measurement processing by a network of sensors. Contrary to centralized estimation...
175
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
138
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
169
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...