4036 search results - page 442 / 808 » Formal Methods |
165
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
192
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
151
click to vote
MSR
2006
ACM
16 years 21 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
147
Voted
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
148
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
The exact enumeration of most interesting combinatorial problems has exponential computational complexity. The finite-lattice method reduces this complexity for most two-dimension...