Sciweavers

1660 search results - page 200 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
VL
2008
IEEE
115views Visual Languages» more  VL 2008»
15 years 4 months ago
Flexible visualization of automatic simulation based on structured graph transformation
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, ...
PCM
2004
Springer
171views Multimedia» more  PCM 2004»
15 years 3 months ago
SketchIt: Basketball Video Retrieval Using Ball Motion Similarity
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
Sitaram Bhagavathy, Motaz A. El Saban
WSC
2007
15 years 10 days ago
Hierarchical planning and multi-level scheduling for simulation-based probabilistic risk assessment
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
Hamed Nejad, Dongfeng Zhu, Ali Mosleh
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
15 years 4 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
APN
2010
Springer
15 years 2 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
Niels Lohmann, Daniela Weinberg