4666 search results - page 872 / 934 » Equations on Timed Languages |
112
click to vote
SEMWEB
2001
Springer
15 years 4 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...
114
click to vote
CCS
1999
ACM
15 years 4 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
102
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
104
click to vote
STOC
1993
ACM
15 years 4 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our ļ¬rst result is the existence of an eļ¬cient universal quantum Turing machine in Deutschās...
113
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...