5220 search results - page 949 / 1044 » Changing Persistent Applications |
145
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
161
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
137
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
129
click to vote
MOBISYS
2006
ACM
16 years 4 months ago
2006
ACM
Automatic adaptation of content for mobile devices is a challenging problem because optimal adaptation often depends on the usage semantics of content, as well as the context of u...
122
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...