9145 search results - page 149 / 1829 » Description Logic Systems |
287
click to vote
SIGMOD
2000
ACM
15 years 9 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...
161
click to vote
IGPL
1998
15 years 5 months ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
130
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
122
click to vote
ICMAS
1998
15 years 6 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
150
click to vote
FCCM
2002
IEEE
15 years 10 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...