2896 search results - page 447 / 580 » Curricula Modeling and Checking |
174
click to vote
ISQED
2008
IEEE
16 years 12 days ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
154
click to vote
QEST
2008
IEEE
16 years 11 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
159
click to vote
TOOLS
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
188
click to vote
IFM
2007
Springer
16 years 4 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
128
click to vote
AICT
2006
IEEE
16 years 2 days ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...