4340 search results - page 209 / 868 » Formal Methods and Cryptography |
148
Voted
AI
2004
Springer
15 years 10 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
150
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
171
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
140
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
113
click to vote
IJCM
2007
15 years 4 months ago
2007
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...