3742 search results - page 590 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
IH
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
174
click to vote
DSN
2006
IEEE
16 years 15 days ago
2006
IEEE
The advent of deep sub-micron technology has exacerbated reliability issues in on-chip interconnects. In particular, single event upsets, such as soft errors, and hard faults are ...
151
click to vote
ICRA
2006
IEEE
16 years 14 days ago
2006
IEEE
— We propose a novel control framework for bilateral teleoperation of a pair of multi-degree-of-freedom (DOF) nonlinear robotic systems under constant communication delays. The p...
171
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
145
click to vote
SMI
2006
IEEE
16 years 13 days ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...