14360 search results - page 338 / 2872 » Time Modeling in MARTE |
93
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
99
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
103
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
114
Voted
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
108
Voted
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...