6201 search results - page 310 / 1241 » Implementation of Axiomatic Language |
157
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
307
click to vote
ACMMSP
2006
ACM
16 years 22 days ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
172
click to vote
ADBIS
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we describe a prototype implementation of updateable views called “SBQL Views”. The prototype follows a novel approach to view updates based on the Stack-Based Ap...
170
Voted
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
190
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...