7397 search results - page 328 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
174
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
182
click to vote
EDCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
198
click to vote
ICARCV
2006
IEEE
16 years 24 days ago
2006
IEEE
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
169
click to vote
DRM
2003
Springer
15 years 12 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
200
Voted
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...