Sciweavers

446 search results - page 61 / 90
» LTS semantics for use case models
Sort
View
EMSOFT
2010
Springer
14 years 10 months ago
From high-level component-based models to distributed implementations
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, ...
IJSEKE
2011
141views more  IJSEKE 2011»
14 years 3 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler
ESAW
2000
Springer
15 years 3 months ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
14 years 10 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...
LREC
2008
107views Education» more  LREC 2008»
15 years 1 months ago
Evaluation of Different Segmentation Techniques for Dialogue Turns
In dialogue systems, it is necessary to decode the user input into semantically meaningful units. These semantical units, usually Dialogue Acts (DA), are used by the system to pro...
Carlos D. Martínez-Hinarejos, Vicent Tamari...