Sciweavers

4360 search results - page 27 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
FASE
2009
Springer
14 years 2 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
KBSE
2010
IEEE
13 years 6 months ago
Variability modeling in the real: a perspective from the operating systems domain
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
STTT
2008
162views more  STTT 2008»
13 years 7 months ago
Coping with large design spaces: design problem solving in fluidic engineering
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
Benno Stein
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 25 days ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
ICARCV
2002
IEEE
166views Robotics» more  ICARCV 2002»
14 years 17 days ago
Similarity measure determination from NURBS-warping method
With the advances in digital imagery, large accessible data storage, internet repositories, and image applications, information conveyed through images is gaining in importance. T...
Kim Meng Liang, Mandava Rajeswari, Bee Ee Khoo