1445 search results - page 232 / 289 » Properties of state spaces and their applications |
143
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
102
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
121
click to vote
FPL
2007
Springer
15 years 5 months ago
2007
Springer
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
103
click to vote
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
110
click to vote
EUC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...