Sciweavers

1861 search results - page 62 / 373
» Performance modeling of component assemblies
Sort
View
OTM
2007
Springer
15 years 3 months ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...
WEBDB
2000
Springer
110views Database» more  WEBDB 2000»
15 years 1 months ago
Modeling Data Entry and Operations in WebML
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
Aldo Bongio, Stefano Ceri, Piero Fraternali, Andre...
JMM2
2006
126views more  JMM2 2006»
14 years 9 months ago
Modeling Augmented Reality User Interfaces with SSIML/AR
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
Arnd Vitzthum, Heinrich Hussmann
IEE
2010
136views more  IEE 2010»
14 years 8 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
ICIP
2002
IEEE
15 years 11 months ago
Updating mixture of principal components for error concealment
This paper is organized as follows. In Section 2, we formulate the proposed UMPC method for modeling nonstationary and multi-modal data. Both MPC and UPC are shown to be special ca...
Trista Pei-chun Chen, Tsuhan Chen