3742 search results - page 327 / 749 » On the Use of Formal Techniques for Validation |
138
click to vote
IAT
2005
IEEE
16 years 10 days ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
166
click to vote
SIGADA
2004
Springer
16 years 2 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
154
click to vote
ACSAC
2003
IEEE
16 years 16 hour ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
169
click to vote
DATE
2003
IEEE
16 years 11 hour ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
180
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work we propose a new method to create neural network ensembles. Our methodology develops over the conventional technique of bagging, where multiple classifiers ...