199 search results - page 21 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
CCS
2006
ACM
15 years 1 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
ASE
1999
14 years 9 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
156
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...
115
click to vote
MOBICOM
2009
ACM
15 years 4 months ago
2009
ACM
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...