14360 search results - page 11 / 2872 » Time Modeling in MARTE |
IEAAIE
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
IBPRIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...
WADT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
RTSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Closed-loop control systems are dynamic systems subject to perturbations. One of the main concerns of the control is to design controllers to correct or limit the deviation that t...
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
13 years 3 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...