515 search results - page 53 / 103 » FiPRe: An Implementation Model to Enable Self-Reconfigurable... |
141
click to vote
IJCAI
1993
15 years 7 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
162
click to vote
MJ
2007
15 years 5 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
290
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
: Workflow systems often present the user with rich interfaces that express all the capabilities and complexities of the application programs and the computing environments that th...
156
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
153
click to vote
WISE
2007
Springer
16 years 13 days ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...