2022 search results - page 340 / 405 » Complexity of Non-Monotonic Logics |
88
Voted
PADS
2003
ACM
15 years 4 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
105
click to vote
CCS
2003
ACM
15 years 4 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
105
Voted
CP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
103
click to vote
DNA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
94
Voted
FM
2003
Springer
15 years 4 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...