2607 search results - page 389 / 522 » On the Architecture of System Verification Environments |
173
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...
232
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
157
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Currently, falling prices in technologies associated with surveillance applications has led to a huge increase in their use in all types of environments, although the most common ...
156
click to vote
UAI
2003
15 years 7 months ago
2003
This paper presents a scalable Bayesian technique for decentralized state estimation from multiple platforms in dynamic environments. As has long been recognized, centralized arch...
163
click to vote
APIN
2006
15 years 6 months ago
2006
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...