Sciweavers

1255 search results - page 156 / 251
» Model-Driven Development of Model Transformations
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Color correction for object tracking across multiple cameras
Color is a powerful attribute that is used to characterize objects for tracking and other surveillance tasks. Since color is dependent on ambient illumination and the imaging equi...
Satyam Srivastava, Ka Ki Ng, Edward J. Delp
WER
2001
Springer
15 years 2 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
ICFEM
2007
Springer
15 years 4 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
14 years 11 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
JCIT
2010
150views more  JCIT 2010»
14 years 4 months ago
Characteristic Description of Coupled Task Sets Based on Design Structure Matrix and Its Optimal Time and Efforts Solution by Ge
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
Ting-gui Chen, Chun-hua Ju