Search results for "Peter J. McCann"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peter J. McCann	Design of a flat wireless Internet Service Provider network.	WPMC	2011	DBLP BibTeX RDF
1	Frank M. Alfano, Peter J. McCann, Thomas T. Towle	IMS service-based bearer control.	Bell Labs Technical Journal	2006	DBLP DOI BibTeX RDF
1	Peter J. McCann, Robert Rance, Sarvar Patel	Secure and efficient voice-over-IP in a cdma2000® Network.	European Transactions on Telecommunications	2004	DBLP DOI BibTeX RDF
1	Gruia-Catalin Roman, Peter J. McCann	A Notation and Logic for Mobile Computing.	Formal Methods in System Design	2002	DBLP DOI BibTeX RDF
1	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Reasoning about code mobility with mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	mobile agent, UNITY, code mobility
1	Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter	What packets may come: automata for network monitoring.	POPL	2001	DBLP DOI BibTeX RDF	TCP/IP
1	Peter J. McCann, Satish Chandra	Packet Types: Abstract specifications of network protocol messages.	SIGCOMM	2000	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
1	Gruia-Catalin Roman, Peter J. McCann	An Introduction to Mobile UNITY.	IPPS/SPDP Workshops	1998	DBLP DOI BibTeX RDF
1	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	Peter J. McCann, Gruia-Catalin Roman	Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Expressing Code Mobility in Mobile UNITY.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	mobile UNITY, mobile code languages, mobile computing, coordination, UNITY, code mobility
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

Publications of "Peter J. McCann" ( http://dblp.L3S.de/Authors/Peter_J._McCann )