Sciweavers

633 search results - page 80 / 127
» Casting an Object with a Core
Sort
View
143
Voted
ATC
2008
Springer
15 years 6 months ago
Annotation Markers for Runtime Replication Protocol Selection
This paper presents an architecture enabling developers to easily and flexibly assign replication protocols simply by annotating individual server methods. This avoids using costly...
Hein Meling
FOSSACS
2008
Springer
15 years 5 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo
DBA
2004
94views Database» more  DBA 2004»
15 years 5 months ago
Structural Knowledge Graph Navigator for the Icons Prototype
Structural Knowledge Graph Navigator (SKGN) supports end users of Web applications by simple means for ad hoc querying and browsing in an object-oriented database. The interface h...
Mariusz Trzaska, Kazimierz Subieta
ECIS
2000
15 years 5 months ago
Semantic Event Model and its Implication on Situation Detection
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
Asaf Adi, David Botzer, Opher Etzion
PAKM
2000
15 years 5 months ago
Knowledge Re-Use as Engineering Re-Use: Extracting Values from Knowledge Management
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
Christopher Yeung, Tony Holden