217 search results - page 41 / 44 » Circuit Complexity of Regular Languages |
97
Voted
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
126
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
116
click to vote
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
121
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
113
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...