1164 search results - page 32 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
140
click to vote
APSEC
2007
IEEE
16 years 9 days 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...
191
click to vote
KBSE
2005
IEEE
15 years 11 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...
175
click to vote
ATVA
2006
Springer
15 years 9 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...
156
click to vote
VR
2003
IEEE
15 years 11 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...
175
click to vote
CSMR
2006
IEEE
16 years 22 hour 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...