When Professional Standards are Lax: The CONFIRM Failure and its Lessons.
University Research in a Squeeze.
Strategies for Incorporating Formal Specifications in Software Development.
The Verdict on Plaintext Signatures: There're Legal.
Turing Award Lecture: On Computational Complexity and the Nature of Computer Science.
Finding Stable System Designs: A reverse Simulation Technique.
Culture: A Fourth Dimension of Group Support.
Mobile Wireless Computing: Challenges in Data Management.
Automatic Concept Classification of Text from Electronic Meetings.