Sciweavers

3706 search results - page 91 / 742
» OntoComP System Description
Sort
View
POPL
1989
ACM
15 years 8 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...
BMAS
2000
IEEE
15 years 9 months ago
On Accommodating Particular Analog System Models with VHDL
In this paper the problem of accommodating particular analog system models, with emphasis on interconnection's representation, with discrete event simulators, and particularl...
Gabriel Stefan Popescu
141
Voted
DLOG
2008
15 years 7 months ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller
RE
2001
Springer
15 years 9 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave
OWLED
2008
15 years 6 months ago
Conjunctive Query Answering in EL using a Database System
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
Carsten Lutz, David Toman, Frank Wolter