283 search results - page 41 / 57 » Coordination-Policy Based Composed System Behavior Derivatio... |
TC
1998
13 years 8 months ago
1998
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...
TACAS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
Teleoperated robots in harsh environments have a significant likelihood of failures. It has been shown in previous work that a common type of failure such as that of a joint "...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
ICISC
2001
13 years 8 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...