816 search results - page 157 / 164 » Automating Verification by Functional Abstraction at the Sys... |
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
MSR
2006
ACM
14 years 2 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
LOPSTR
2005
Springer
14 years 2 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
EJASP
2010
13 years 3 months ago
2010
Abstract--We present an application of a modified KalmanFilter (KF) framework for data fusion to the estimation of respiratory rate from multiple physiological sources which is rob...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...