5838 search results - page 348 / 1168 » A File System for System Programming in Ubiquitous Computing |
147
click to vote
KSEM
2010
Springer
15 years 2 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
122
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...
170
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
118
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
111
click to vote
TVLSI
2002
15 years 4 months ago
2002
Abstract--We introduce the notion of energy-scalable systemdesign. The principal idea is to maximize computational quality for a given energy constraint at all levels of the system...