5030 search results - page 154 / 1006 » cases 2007 |
177
Voted
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
184
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
154
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...
194
click to vote
DSD
2007
IEEE
15 years 7 months ago
2007
IEEE
The universal underlying assumption made today is that Systems on chip must maintain 100% correctness regardless of the application. This work advocates the concept that some appl...
221
Voted
IQ
2007
15 years 8 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...