Search results for "transient interactions"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Michel Wermelinger, José Luiz Fiadeiro	Connectors for Mobile Programs.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	transient interactions, Software Architecture, connectors, UNITY
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
1	T. Chiocchio, R. Leonard, Y. Work, R. Fang, M. Steurer, A. Monti, J. Khan, J. Ordonez, M. Sloderbeck, S. L. Woodruff	A co-simulation approach for real-time transient analysis of electro-thermal system interactions on board of future all-electric ships.	SCSC	2007	DBLP DOI BibTeX RDF	electro-thermal simulation, real-time simulation, co-simulation
1	Christine Julien, Gruia-Catalin Roman	EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	mobile ad hoc networks, middleware, Context-awareness, programming abstraction
1	Gruia-Catalin Roman, Christine Julien, Qingfeng Huang	Formal Specification and Design of Mobile Systems. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	Peter J. McCann, Gruia-Catalin Roman	Modeling Mobile IP in Mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables
1	Peter J. McCann, Gruia-Catalin Roman	Compositional Programming Abstractions for Mobile Computing.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Mobile UNITY, transient interactions, mobile computing, Formal methods, synchronization, weak consistency, shared variables