Search results for "action synchronization"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.	ICSE	1996	DBLP BibTeX RDF	UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning
1	Eduardo Cunha de Almeida, Gerson Sunyé, Patrick Valduriez	Action synchronization in P2P system testing.	DaMaP	2008	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders	The Mobius Modeling Environment: Recent Extensions - 2005.	QEST	2005	DBLP DOI BibTeX RDF
1	Bogdan D. Czejdo, Maciej Zakrzewicz	Action Synchronization over the Web. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
1	Ning Xi, Tzyh Jong Tarn	Action Synchronization and Control of Internet Based Telerobotic Systems.	ICRA	1999	DBLP BibTeX RDF
1	Michel Wermelinger, José Luiz Fiadeiro	Connectors for Mobile Programs.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	transient interactions, Software Architecture, connectors, UNITY

Displaying result #1 - #7 of 7 (100 per page; Change: )