Abstract— Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, ...
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
The proliferation of novel wireless network technologies creates new opportunities for complex peerto-peer information dissemination systems. A key challenge that remains in this a...
We report on two new portals for searching MEDLINE/PubMed with handheld devices, PICO (Patient, Intervention, Comparison, Outcome) and a WAP (Wireless Application Protocol) browse...
Paul A. Fontelo, Annette Nahin, Fang Liu, George K...