Sciweavers

1622 search results - page 180 / 325
» Deriving Software Process Simulation Model from SPEM-based S...
Sort
View
ICIP
2003
IEEE
16 years 4 months ago
VISIRE: photorealistic 3D reconstruction from video sequences
Traditionally, building 3D reconstructions of large scenarios such as a museum or historical site has been costly, time consuming and required the contribution of expert personnel...
Tomás Rodríguez, Peter F. Sturm, Mar...
DAC
1999
ACM
15 years 6 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 8 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
126
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
119
Voted
ECOWS
2006
Springer
15 years 6 months ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...