3828 search results - page 288 / 766 » Proof-Based System Engineering Using a Virtual System Model |
164
click to vote
IADIS
2003
15 years 8 months ago
2003
Galileo is a European initiative to develop and deploy an independent global satellite-based navigation system. It consists of a Medium Earth Orbit sat ellite constellation transm...
177
click to vote
ALMOB
2006
15 years 6 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
146
click to vote
WSC
2004
15 years 8 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
190
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a system, ArtNova, for 3D model design with a haptic interface. ArtNova offers the novel capability of interactively applying textures onto 3D surfaces directly by brus...
220
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...