10159 search results - page 605 / 2032 » System Design Validation Using Formal Models |
299
click to vote
EAAI
2007
15 years 7 months ago
2007
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
222
click to vote
IUI
2003
ACM
16 years 7 days ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
177
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
184
click to vote
DSVIS
2003
Springer
16 years 7 days ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
212
click to vote
EMSOFT
2005
Springer
16 years 16 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...