5255 search results - page 616 / 1051 » Formal Methods for Privacy |
157
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
171
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
162
click to vote
MSR
2006
ACM
16 years 28 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 ...
154
click to vote
QSIC
2005
IEEE
16 years 16 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 ...
196
click to vote
ICDM
2003
IEEE
16 years 7 days ago
2003
IEEE
Learning Bayesian network structure from large-scale data sets, without any expertspecified ordering of variables, remains a difficult problem. We propose systematic improvements ...