1164 search results - page 32 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
83
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
123
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
114
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
93
Voted
VR
2003
IEEE
15 years 5 months ago
2003
IEEE
The so-called “blue-c” is a novel three sided immersive projection system, which has been especially designed to support telecollaborative teamwork [4]. Therefore, special pro...
118
click to vote
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...