2969 search results - page 190 / 594 » The Case for User-Centered CASE Tools |
178
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
177
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
178
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
160
click to vote
COMMA
2006
15 years 8 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
157
click to vote
WSC
2001
15 years 8 months ago
2001
The semiconductor industry is rapidly expanding worldwide. With the continuing advancement of technology, companies are continually striving to develop and maintain cutting edge p...