Sciweavers

3706 search results - page 93 / 742
» System Description: E-KRHyper
Sort
View
BMAS
2000
IEEE
14 years 11 days 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
DLOG
2008
13 years 10 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
14 years 11 days 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
13 years 9 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
INTERACT
2003
13 years 9 months ago
A Model-Based Approach for Engineering Multimodal Interactive Systems
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
Philippe A. Palanque, Amélie Schyn