4890 search results - page 65 / 978 » From system specifications to component behavioral models |
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
KI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
FMCO
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
108
click to vote
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...