5255 search results - page 284 / 1051 » Formal Methods for Privacy |
151
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
147
click to vote
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...
149
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 ...
138
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...