5838 search results - page 263 / 1168 » A File System for System Programming in Ubiquitous Computing |
163
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
131
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
137
click to vote
JALC
2006
15 years 4 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
135
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
The release of computer hardware devices based on “trusted computing” technologies is heralding a paradigm shift that will have profound implications for digital forensics. In...
148
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
1 -- As the scale and complexity of data-driven computational science grows, so grows the burden on the scientists and students in managing the data products used and generated dur...