Sciweavers

348 search results - page 9 / 70
» Secure Computation on the Web: Computing without Simultaneou...
Sort
View
ICIW
2007
IEEE
15 years 6 months ago
A New Security Scheme for Integration of Mobile Agents and Web Services
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...
Junqi Zhang, Yan Wang 0002, Vijay Varadharajan
ACHI
2008
IEEE
15 years 6 months ago
Enhancing Multi-user Interaction with Multi-touch Tabletop Displays Using Hand Tracking
A rear-projection multi-touch tabletop display was augmented with hand tracking utilizing computer vision techniques. While both touch detection and hand tracking can be independe...
K. C. Dohse, Thomas Dohse, Jeremiah D. Still, Derr...
104
Voted
SOCA
2007
IEEE
15 years 6 months ago
Negotiating Agreements Using Policies in Ubiquitous Computing Scenarios
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
Venkatraman Ramakrishna, Kevin Eustice, Peter L. R...
PLDI
2010
ACM
15 years 9 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala
WWW
2003
ACM
16 years 10 days ago
SHOCK: communicating with computational messages and automatic private profiles
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
Rajan M. Lukose, Eytan Adar, Joshua R. Tyler, Caes...