2339 search results - page 191 / 468 » Models and Tools for Mulan Applications |
163
click to vote
FM
2005
Springer
16 years 6 days ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
151
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In the context of knowledge-intensive work, making the relevant knowledge available to the people needing it for their work is a key issue. One approach is to capture such knowled...
170
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
175
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
172
click to vote
DSML
2008
15 years 8 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...