2632 search results - page 216 / 527 » Alternating Timed Automata |
154
click to vote
JAIR
2008
15 years 4 months ago
2008
It is well-known that acting in an individually rational manner, according to the principles of classical game theory, may lead to sub-optimal solutions in a class of problems nam...
137
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
137
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
142
click to vote
FTEDA
2007
15 years 4 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
AIL
2010
15 years 1 months ago
2010
The information overload in E-Discovery proceedings makes reviewing expensive and it increases the risk of failure to produce results on time and consistently. New interactive tec...