5639 search results - page 180 / 1128 » Timed Abstract Non-interference |
116
click to vote
SEUS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. Accurate real-time monitoring of structural health can result in significant safety improvements, while providing data that can be used to improve design and constructio...
129
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
100
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
104
click to vote
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
129
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...