3653 search results - page 668 / 731 » On Recognizable Timed Languages |
SEMWEB
2001
Springer
15 years 2 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...
CCS
1999
ACM
15 years 2 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ļ...
EURODAC
1994
IEEE
15 years 2 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). ...
108
click to vote
SAS
1994
Springer
15 years 1 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
STOC
1993
ACM
15 years 1 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...