809 search results - page 62 / 162 » Requirements by Contracts allow Automated System Testing |
113
click to vote
ICONIP
2008
15 years 6 months ago
2008
In this paper, we propose the use of weighted linguistic fuzzy rules in combination with a rule selection process to develop accurate fuzzy logic controllers dedicated to the inte...
120
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
127
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
Spurred by technology leading to the availability of millions of gates per chip, system-level integration is evolving as a new paradigm, allowing entire systems to be built on a s...
136
click to vote
FIW
2007
15 years 6 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
112
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...