Search results for "causal dependency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Guanhong Pei, Binoy Ravindran, E. Douglas Jensen	Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awareness.	TAAS	2011	DBLP DOI BibTeX RDF
1	Sourish Dasgupta, Satish Bhat, Yugyung Lee	An Abstraction Framework for Service Composition in Event-Driven SOA Systems.	ICWS	2009	DBLP DOI BibTeX RDF
1	Guanhong Pei, Binoy Ravindran, E. Douglas Jensen	On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness.	SASO	2008	DBLP DOI BibTeX RDF
1	Huaigu Wu, Josh Borts, Yi Zheng, Yuri Natchetoi	LAOF: A New Framework to Efficiently Process Business Objects on Resource Constrained Mobile Phones.	MDM	2008	DBLP DOI BibTeX RDF	Lightweight framework, asynchronous online, Mobile Data Management
1	Frank Arntzenius	No regrets: or: Edith Piaf revamps decision theory.	TARK	2007	DBLP DOI BibTeX RDF
1	Wojciech Froelich, Alicja Wakulicz-Deja	Learning Fuzzy Cognitive Maps from the Web for the Stock Market Decision Support System.	AWIC	2007	DBLP DOI BibTeX RDF
1	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
1	Tatsuya Abe	A Concurrent System of Multi-ported Processes with Causal Dependency.	APLAS	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Runtime safety analysis of multithreaded programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis
1	Guohong Cao, Mukesh Singhal	Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	Mobile computing, nonblocking, causal dependency, coordinated checkpointing
1	Federico Crazzolara, Glynn Winskel	Events in security protocols.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Francesco Quaglia, Paolo Fornara	An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	timestamp management, global snapshot, performance evaluation, fault tolerance, distributed systems, protocols, Checkpointing, rollback-recovery, causal dependency
1	Glynn Winskel	Event Structures as Presheaves -Two Representation Theorems.	CONCUR	1999	DBLP DOI BibTeX RDF
1	Guohong Cao, Mukesh Singhal	Low-Cost Checkpointing with Mutable Checkpoints in Mobile Computing Systems.	ICDCS	1998	DBLP DOI BibTeX RDF	consistent checkpointing, Mobile computing, non-blocking, causal dependency
1	Ajay D. Kshemkalyani, Mukesh Singhal	Necessary and Sufficient Conditions on Information for Causal Message Ordering and Their Optimal Implementation.	Distributed Computing	1998	DBLP DOI BibTeX RDF	Causal message ordering, Distributed systems, Concurrency, Synchronization
1	Hsien-Kuang Chiou, Willard Korfhage	Enhancing Distributed Event Predicate Detection Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	Event predicate, concurrent events, distributed algorithm, distributed debugging, causal dependency
1	Ravi Prakash, Mukesh Singhal	Low-Cost Checkpointing and Failure Recovery in Mobile Computing Systems.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	global snapshot, Checkpointing, recovery, portable computers, mobile computing systems, causal dependency
1	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
1	Roberto Baldoni, Achour Mostéfaoui, Michel Raynal	Efficient Causally Ordered Communications for Multimedia Real-Time Applications. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	causally ordered communications, multimedia real-time applications, groupware real-time applications, real-time delivery constraints, one-to-one communications, protocols, protocol, groupware, delays, abstraction, communication network, multimedia systems, collaborative applications, telecommunication networks
1	Joost-Pieter Katoen	Causal Behaviours and Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
1	Gordon D. Plotkin, Glynn Winskel	Bistructures, Bidomains and Linear Logic.	ICALP	1994	DBLP DOI BibTeX RDF
1	Glynn Winskel	Stable Bistructure Models of PCF.	MFCS	1994	DBLP DOI BibTeX RDF
1	Robert E. Strom, Shaula Yemini	Optimistic Recovery in Distributed Systems	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF