2702 search results - page 284 / 541 » Practically Applicable Formal Methods |
119
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
116
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
91
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
121
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
125
click to vote
SIGMOD
2000
ACM
15 years 7 months ago
2000
ACM
For many KDD applications, such as detecting criminal activities in E-commerce, finding the rare instances or the outliers, can be more interesting than finding the common pattern...