5447 search results - page 270 / 1090 » Environment-Mediated Mobile Computing |
179
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
181
click to vote
PCI
2005
Springer
16 years 4 days ago
2005
Springer
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
159
click to vote
NSPW
2004
ACM
16 years 2 days ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
193
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...
167
click to vote
APLAS
2006
ACM
16 years 19 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...