186 search results - page 15 / 38 » Global consistency checking of distributed models with TReMe... |
157
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
162
click to vote
WDAG
1995
Springer
15 years 9 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...
185
click to vote
JSAC
2007
15 years 5 months ago
2007
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
161
click to vote
RTAS
2007
IEEE
16 years 6 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
152
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...