4890 search results - page 159 / 978 » From system specifications to component behavioral models |
143
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
125
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
159
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
193
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
204
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...