2763 search results - page 288 / 553 » The Dangerous 'All' in Specifications |
190
click to vote
DEXA
2000
Springer
15 years 11 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...
139
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
168
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
180
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
The vibratory bowl feeder is the oldest and still most common approach to the automated feeding (orienting) of industrial parts. In this paper we consider a class of vibratory bow...
174
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...