632 search results - page 66 / 127 » The DSD Schema Language |
COOPIS
2002
IEEE
14 years 20 days ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
WCRE
2000
IEEE
14 years 2 days ago
2000
IEEE
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
IMPERIAL
1994
13 years 11 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
Libraries, museums, and other organizations make their electronic contents available to a growing number of users on the Web. A large fraction of the information published is store...