1317 search results - page 160 / 264 » Fusions of Description Logics and Abstract Description Syste... |
205
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...
311
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
165
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract— This paper presents the architecture of a passive monitoring system installed within the Sprint IP backbone network. This system differs from other packet monitoring sy...
180
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
169
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...