Sciweavers

3793 search results - page 321 / 759
» Expressive Description Logics
Sort
View
WECWIS
2006
IEEE
107views ECommerce» more  WECWIS 2006»
16 years 23 days ago
Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
ADAEUROPE
2005
Springer
16 years 9 days ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
151
Voted
EWSA
2004
Springer
16 years 4 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
BTW
1999
Springer
129views Database» more  BTW 1999»
15 years 11 months ago
Dual Retrieval in Conceptual Information Systems
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
Gerd Stumme
CICLING
2006
Springer
15 years 10 months ago
Referring Via Document Parts
Documents in a wide range of genres often contain references to their own sections, pictures etc. We call such referring expressions instances of Document Deixis. The present work ...
Ivandré Paraboni, Kees van Deemter