Providing Authentic Long-term Archival Access to Complex Relational Data

Providing content based billing architecture over Next Generation Network

Providing Data Group Anonymity Using Concentration Differences

Providing Diversity in K-Nearest Neighbor Query Results

Providing End-to-End Delay Guarantees for Multi-hop Wireless Sensor Networks over Unreliable Channels

Providing Group Anonymity Using Wavelet Transform

Providing Professional Development from a Distance: The Opportunities and Challenges of Reaching Educators through Online Astronomy Courses

Providing Rate Guarantees to TCP over the ATM GFR Service

Providing robotic assistance during extra-vehicular activity

Providing Scalable Data Services in Ubiquitous Networks

Providing Secrecy with Lattice Codes

Providing Secrecy With Structured Codes: Tools and Applications to Two-User Gaussian Channels

Providing Service Guarantees in High-Speed Switching Systems with Feedback Output Queuing

Providing standard time for computers with a sound card

Providing Virtual Execution Environments: A Twofold Illustration

Proving Correctness and Completeness of Normal Programs - a Declarative Approach

Proving correctness of Timed Concurrent Constraint Programs

Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Proving or Disproving likely Invariants with Constraint Reasoning