8828 search results - page 1219 / 1766 » Formal methods in practice |
201
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
256
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
213
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
198
click to vote
ACNS
2006
Springer
16 years 1 months ago
2006
Springer
In a society increasingly concerned with the steady assault on electronic privacy, the need for privacy-preserving techniques is both natural and justified. This need extends to t...
217
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...