6348 search results - page 659 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
187
click to vote
EDBTW
2004
Springer
16 years 25 days ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
180
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
222
click to vote
VMCAI
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
195
click to vote
WADT
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
167
click to vote
AUIC
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper presents Keg Master, a graph-aware visual editor for 3D graphs. Keg Master is novel in that it works with a graph description language as opposed to a scene graph descr...