4666 search results - page 872 / 934 » Equations on Timed Languages |
SEMWEB
2001
Springer
14 years 4 days 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...
CCS
1999
ACM
14 years 8 hour 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ļ...
EURODAC
1994
IEEE
13 years 12 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). ...
STOC
1993
ACM
13 years 11 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...
DATE
2004
IEEE
13 years 11 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...