932 search results - page 51 / 187 » Verifying Progress in Timed Systems |
145
Voted
ENTCS
2008
15 years 3 months ago
2008
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
117
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
164
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
119
Voted
ICMCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Though the variety of desktop real time stereo vision systems has grown considerably in the past several years, few make any verifiable claims about the accuracy of the algorithms...
138
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
MapReduce is emerging as an important programming model for large-scale data-parallel applications such as web indexing, data mining, and scientific simulation. Hadoop is an open-...