The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase action synchronization (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2008 (7)
Publication types (Num. hits)
article(1) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 14 keywords

Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. Search on Bibsonomy ICSE The full citation details ... 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
1Eduardo Cunha de Almeida, Gerson Sunyé, Patrick Valduriez Action synchronization in P2P system testing. Search on Bibsonomy DaMaP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko Verification of networks of timed automata using mCRL2. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tod 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. Search on Bibsonomy QEST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bogdan D. Czejdo, Maciej Zakrzewicz Action Synchronization over the Web. (PDF / PS) Search on Bibsonomy DEXA Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ning Xi, Tzyh Jong Tarn Action Synchronization and Control of Internet Based Telerobotic Systems. Search on Bibsonomy ICRA The full citation details ... 1999 DBLP  BibTeX  RDF
1Michel Wermelinger, José Luiz Fiadeiro Connectors for Mobile Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF transient interactions, Software Architecture, connectors, UNITY
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.