5838 search results - page 687 / 1168 » A File System for System Programming in Ubiquitous Computing |
245
click to vote
WLP
2007
Springer
16 years 1 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
237
click to vote
LOPSTR
2005
Springer
16 years 21 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
240
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
206
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
199
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...