29147 search results - page 191 / 5830 » System Modeling Resurrected |
199
click to vote
DEDS
1998
15 years 6 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
172
click to vote
SCL
2010
15 years 5 months ago
2010
In this paper, we put forward a fundamental question concerning feedback control of quantum systems: Is measurement-based feedback control still better than openloop control? In c...
228
click to vote
USS
2010
15 years 4 months ago
2010
The Domain Name System (DNS) is an essential protocol used by both legitimate Internet applications and cyber attacks. For example, botnets rely on DNS to support agile command an...
216
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
171
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...