3256 search results - page 517 / 652 » Applications of Formal Methods to System Design and Verifica... |
184
click to vote
AAAI
2010
15 years 7 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
118
click to vote
DAC
2009
ACM
16 years 9 days ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
167
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
174
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
211
click to vote
CRYPTO
2011
Springer
14 years 5 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...