5075 search results - page 51 / 1015 » Model-based interface development |
127
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
105
click to vote
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...
131
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
141
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
133
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...