2403 search results - page 334 / 481 » Using the WinWin Spiral Model: A Case Study |
157
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
169
click to vote
DATE
2007
IEEE
16 years 23 days ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
122
click to vote
ACCV
2007
Springer
16 years 19 days ago
2007
Springer
More and more researchers focus their studies on multi-view activity recognition, because a fixed view could not provide enough information for recognition. In this paper, we use ...
140
click to vote
SAMT
2007
Springer
16 years 17 days ago
2007
Springer
Presentation of content is an important aspect of today’s virtual reality applications, especially in domains such as virtual exhibitions. The large amount and variety of exhibit...
149
click to vote
ISVLSI
2006
IEEE
16 years 14 days ago
2006
IEEE
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...