5255 search results - page 284 / 1051 » Formal Methods for Privacy |
190
click to vote
SEFM
2005
IEEE
16 years 5 days 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 ...
179
click to vote
AI
2004
Springer
16 years 16 hour 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...
194
click to vote
MEMOCODE
2003
IEEE
15 years 12 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...
208
click to vote
APN
2007
Springer
16 years 24 days 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 ...
169
Voted
ATAL
2004
Springer
16 years 14 hour 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...