2740 search results - page 278 / 548 » A Model-Based Approach To Requirements Analysis |
140
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
139
Voted
ESTIMEDIA
2003
Springer
15 years 9 months ago
2003
Springer
Bandwidth and processing requirements of conventional multimedia applications typically exceed capabilities of current technology portable terminals. Applications should hence be ...
121
Voted
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Due to technology limitations as well as stringent operating conditions that are imposed, the design of fully integrated analog RF front-end circuits is aimed at the edge of the r...
131
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
116
click to vote
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...