3679 search results - page 626 / 736 » Answer set based design of knowledge systems |
165
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
147
Voted
LREC
2010
15 years 6 months ago
2010
In this paper, we describe a new multi-purpose audio-visual database on the context of speech interfaces for controlling household electronic devices. The database comprises speec...
197
click to vote
CISC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
255
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
152
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...