Searching for "On the Verification of Coordination." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

33 documents found, showing 1 through 10. Next 10 →

On the Verification of Coordination
by Paul Dechering, Izak Van Langevelde — 2000 — In Proc. of COORDINATION, LNCS 1906
…On the Verification of Coordination # Paul Dechering 1 and Izak van Langevelde 2 1 Hollandse…
Cited by 4 (0 self) – Add To MetaCart

Towards a Fault Tolerant AHS Design - Part II: Design and Verification of Communication Protocols
by D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, A. E. Lindsey
… and Fault Tolerant Control, Safety, Verification, Coordination Layer Research supported by the California…
Cited by 2 (0 self) – Add To MetaCart

Timing Analysis in COSPAN
by Rajeev Alur, Robert P. Kurshan — 1996 — In Hybrid Systems III
…. The verifier supports automatatheoretic verification of coordinating processes with timing constraints. We…
Cited by 38 (7 self) – Add To MetaCart

Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach
by Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li — 2000
…, Privacy, Security, Verification, Coordination INTRODUCTION Many CSCW application domains create specific…
Cited by 12 (1 self) – Add To MetaCart

Design, Verification and Failure Diagnosis of Wireless Communication Protocols for the AHS
by Lindsey And, A. E. Lindsey, Priya B. Viswanath — 1997 — In Proc. 1997 IEEE ITSC
… of communications, coordination and regulation environmental processes. An automatic verification tool, COSPAN…
Add To MetaCart

Ness: Verification of the Futurebus+ cache coherence protocol
by Cla E. M. Clarke, O. Grumberg, H. Hirashi, S. Jha, D. E. Long, Gal M. Galles, E. Williams, Performance Optimization, Gha K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, Gha K. Gharachorloo, S. V. Adve, A. Gupta, J. L. Hennessey, M. D. Hill — 1993 — Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications
…, CA, 1994 [Kur94] R. P. Kurshan, “Computer-Aided Verification of Coordinating Processes: The Automata…
Cited by 3 (1 self) – Add To MetaCart

µCRL: A toolset for analysing algebraic specifications
by Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol — 2001 — Proc. 13th Conference on Computer Aided Verification, LNCS 2102
…) architecture [20], and to perform scenario-based verifications of the coordination language SPLICE [6…
Cited by 27 (13 self) – Add To MetaCart

Parallel and Distributed Systems Report
by Series Complexity Of, Adriaan Ter Mors, Jeroen Valk, Cees Witteveen — 2004
… independently (the coordination verification problem), and finding out whether a coordination set is of minimal…
Add To MetaCart

Conflict Resolution for Air Traffic Management: A Study in Multiagent Hybrid Systems
by Claire Tomlin, George J. Pappas, Student Member, Student Member, Shankar Sastry — 1998 — IEEE Transactions on Automatic Control
… and control inputs for continuous systems. Section IV describes safety verification of coordinated maneuvers…
Cited by 125 (33 self) – Add To MetaCart

CAiSE'06 DC 1185 Loosely-Coupled Process Automation in Medical Environments
by Jurate Vysniauskaite
…, validation, verification and coordination are limited by workflow engines (e.g. BPEL4WS) that carry out…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB