Peter J. McCann

22 papers A* 3C 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2015 J jnl
Protocol to Access White-Space (PAWS) Databases.
RFC
Vincent Chen, Subir Das, Lei Zhu, John Malyar, Peter J. McCann
2011 — conf
Design of a flat wireless Internet Service Provider network.
WPMC
Peter J. McCann
2010 J jnl
Diameter Quality-of-Service Application.
RFC
Dong Sun, Peter J. McCann, Hannes Tschofenig, Tina Tsou, Avri Doria, Glen Zorn
2006 J jnl
IMS service-based bearer control.
Bell Labs Tech. J.
Frank M. Alfano, Peter J. McCann, Thomas T. Towle
2005 J jnl
Diameter Mobile IPv4 Application.
RFC
Pat R. Calhoun, Tony Johansson, Charles E. Perkins, Tom Hiller, Peter J. McCann
2005 J jnl
Mobile IPv6 Fast Handovers for 802.11 Networks.
RFC
Peter J. McCann
2004 J jnl
Secure and efficient voice-over-IP in a cdma2000® Network.
Eur. Trans. Telecommun.
Peter J. McCann, Robert Rance, Sarvar Patel
2002 J jnl
A Notation and Logic for Mobile Computing.
Formal Methods Syst. Des.
Gruia-Catalin Roman, Peter J. McCann
2001 J jnl
CDMA2000 Wireless Data Requirements for AAA.
RFC
Tom Hiller, Pat Walsh, Xing Chen, Mark Munson, Gopal Dommety, Sanjeevan Sivalingham, Byung-Keun Lim, Peter J. McCann, Hajime Shiino, Brent Hirschman, Serge Manning, Raymond T. Hsu, Haeng S. Koo, Mark A. Lipford, Pat R. Calhoun, Charles N. Lo, Eric Jaques, Ed Campbell, Yingchun Xu, Shinichi Baba, Takahiro Ayaki, Takuo Seki, Alan Hameed
2001 J jnl
Reasoning about code mobility with mobile UNITY.
ACM Trans. Softw. Eng. Methodol.
Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
2001 A* conf
What packets may come: automata for network monitoring.
POPL
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
2000 J jnl
An Internet infrastructure for cellular CDMA networks using mobile IP.
IEEE Wirel. Commun.
Peter J. McCann, Tom Hiller
2000 J jnl
Criteria for Evaluating AAA Protocols for Network Access.
RFC
Bernard Aboba, Pat R. Calhoun, Steven M. Glass, Tom Hiller, Peter J. McCann, Hajime Shiino, Pat Walsh, Glen Zorn, Gopal Dommety, Charles E. Perkins, Basavaraj Patil, David Mitton, Serge Manning, Mark A. Beadles, Xing Chen, Sanjeevan Sivalingham, Alan Hameed, Mark Munson, Stuart Jacobs, Byung-Keun Lim, Brent Hirschman, Raymond T. Hsu, Haeng S. Koo, Mark A. Lipford, Ed Campbell, Yingchun Xu, Shinichi Baba, Eric Jaques
2000 A* conf
Packet Types: Abstract specifications of network protocol messages.
SIGCOMM
Peter J. McCann, Satish Chandra
1999 J jnl
Modeling Mobile IP in Mobile UNITY.
ACM Trans. Softw. Eng. Methodol.
Peter J. McCann, Gruia-Catalin Roman
1998 — conf
An Introduction to Mobile UNITY.
IPPS/SPDP Workshops
Gruia-Catalin Roman, Peter J. McCann
1998 J jnl
Compositional Programming Abstractions for Mobile Computing.
IEEE Trans. Software Eng.
Peter J. McCann, Gruia-Catalin Roman
1998 J jnl
Wireless voice-over-IP and implications for third-generation network design.
Bell Labs Tech. J.
Jin Wang, Peter J. McCann, Patvardhana B. Gorrepati, Chung-Zin Liu
1997 — conf
Expressing Code Mobility in Mobile UNITY.
ESEC / SIGSOFT FSE
Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
1997 C conf
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.
COORDINATION
Peter J. McCann, Gruia-Catalin Roman
1997 J jnl
Mobile UNITY: Reasoning and Specification in Mobile Computing.
ACM Trans. Softw. Eng. Methodol.
Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
1996 A* conf
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
ICSE
Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun