Sciweavers

1151 search results - page 72 / 231
» A Generative Approach for Multi-agent System Development
Sort
View
IASTEDSE
2004
13 years 10 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
PRESENCE
2008
88views more  PRESENCE 2008»
13 years 8 months ago
Virtual Audio Systems
To be immersed in a virtual environment, the user must be presented with plausible sensory input including auditory cues. A virtual (three-dimensional) audio display aims to allow...
Bill Kapralos, Michael R. M. Jenkin, Evangelos E. ...
DATE
1998
IEEE
68views Hardware» more  DATE 1998»
14 years 1 months ago
Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems
We present an approach to process scheduling based on an abstract graph representation which captures both dataflow and the flow of control. Target architectures consist of severa...
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...
SIGGRAPH
1998
ACM
14 years 1 months ago
A Beam Tracing Approach to Acoustic Modeling for Interactive Virtual Environments
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
Thomas A. Funkhouser, Ingrid Carlbom, Gary Elko, G...
KBSE
2005
IEEE
14 years 2 months ago
Automated test generation for engineering applications
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...
Songtao Xia, Ben Di Vito, César Muño...