4693 search results - page 509 / 939 » Verifying Hybrid Systems |
219
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
190
click to vote
BIOSIG
2009
15 years 8 months ago
2009
: The widespread use of biometrics and its increased popularity introduces privacy risks. In order to mitigate these risks, solutions such as the helper-data system, fuzzy vault, f...
192
click to vote
JCST
2008
15 years 7 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
148
click to vote
JSA
2008
15 years 7 months ago
2008
Modern day applications require use of multi-processor systems for reasons of performance, scalability and power efficiency. As more and more applications are integrated in a sing...
205
click to vote
I3E
2009
15 years 4 months ago
2009
Abstract. Online advertising is a major economic force in the Internet today. A basic goal of any advertising system is to accurately target the ad to the recipient audience. While...