5838 search results - page 137 / 1168 » A File System for System Programming in Ubiquitous Computing |
137
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
118
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
We present AuraMirror, a system that visualizes virtual windows of attention: the commodity of visual attention people exchange during interactions in small groups. AuraMirror act...
154
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...
133
Voted
JISE
2010
14 years 10 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
140
click to vote
ISSAC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...