41 search results - page 4 / 9 » compsac 2005 |
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
COMPSAC
2005
IEEE
13 years 8 months ago
2005
IEEE
Discovering frequent patterns from huge amounts of data is one of the most studied problems in data mining. However, some sensitive patterns with security policies may cause a thr...