325 search results - page 64 / 65 » Secure safe ambients |
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
EUROSSC
2006
Springer
13 years 9 months ago
2006
Springer
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
MOBISYS
2010
ACM
13 years 8 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
OSDI
1996
ACM
13 years 7 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
ICDCS
2010
IEEE
13 years 6 months ago
2010
IEEE
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...