Sciweavers

7690 search results - page 387 / 1538
» On the semantics of informational independence
Sort
View
FM
2005
Springer
132views Formal Methods» more  FM 2005»
16 years 11 days ago
Decoupling in Object Orientation
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
Ioannis T. Kassios
FTRTFT
1994
Springer
15 years 11 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen
IADIS
2008
15 years 8 months ago
Automatic Generation Of Multiple Choice Questions From Domain Ontologies
The aim of this paper is to present an innovative approach for generating multiple choice questions in automatic way. Although other approaches have been already reported in the l...
Andreas Papasalouros, Konstantinos Kanaris, Konsta...
BNCOD
2004
99views Database» more  BNCOD 2004»
15 years 8 months ago
The EGTV Query Language
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
Damir Becarevic, Mark Roantree
KI
2004
Springer
16 years 6 days ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster