|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 1 publication records. Showing 1 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
Displaying result #1 - #1 of 1 (100 per page; Change: )
|
|