1114 search results - page 118 / 223 » An Architecture for Peer-to-peer Reasoning |
166
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
167
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
170
click to vote
MUE
2007
IEEE
16 years 21 days ago
2007
IEEE
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
164
click to vote
ESWS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
146
click to vote
TIME
2006
IEEE
16 years 13 days ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...