886 search results - page 34 / 178 » Application of automated environment generation to commercia... |
ASE
2006
13 years 7 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
WSC
2000
13 years 9 months ago
2000
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
BMCBI
2006
13 years 7 months ago
2006
Background: With the advances in DNA sequencer-based technologies, it has become possible to automate several steps of the genotyping process leading to increased throughput. To e...
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...