4401 search results - page 286 / 881 » Computing with Default Logic |
168
click to vote
IJIPT
2007
15 years 6 months ago
2007
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
187
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
166
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
177
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
201
click to vote
COORDINATION
2004
Springer
16 years 8 hour ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...