488 search results - page 62 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
139
Voted
SERA
2005
Springer
15 years 8 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
124
click to vote
JFR
2008
15 years 3 months ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
123
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
125
click to vote
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
142
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...