225 search results - page 8 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
157
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
209
click to vote
TOG
2012
13 years 8 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
171
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
168
click to vote
WPES
2006
ACM
15 years 12 months ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
182
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...