2488 search results - page 109 / 498 » An improvement in formal verification |
91
Voted
PRIMA
2009
Springer
15 years 7 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
106
Voted
ASPDAC
1998
ACM
15 years 4 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
101
Voted
MAM
2006
15 years 21 days ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
119
Voted
JCS
2010
14 years 7 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...