77016 search results - page 438 / 15404 » Modeling Modeling |
180
click to vote
WSC
2000
15 years 8 months ago
2000
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
156
Voted
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
154
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...
202
click to vote
CAISE
1992
Springer
15 years 10 months ago
1992
Springer
In many non trivial application domains, object types with a complex structure occur. Data modelling techniques which only allow flat structures are not suitable for representing ...
166
Voted
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...