Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase UNITY proof logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996 (1) 1997 (1)
Publication types (Num. hits)
article(1) inproceedings(1)
Venues (Conferences, Journals, ...)
ACM Trans. Softw. Eng. Methodo...(1) ICSE(1)
Authors
Gruia-Catalin Roman(2) Jerome Y. Plun(2) Peter J. McCann(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 15 keywords
Results
Found 2 publication records. Showing 2 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
1Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun Mobile UNITY: Reasoning and Specification in Mobile Computing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.