Sciweavers

109 search results - page 14 / 22
» An Algebraic View on the Semantics of Model Composition
Sort
View
PGLDB
2003
166views Database» more  PGLDB 2003»
13 years 8 months ago
ROSA: A Data Model and Query Language for e-Learning Objects
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
Fabio Porto, Ana Maria de Carvalho Moura, Adriana ...
HYBRID
1997
Springer
13 years 11 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
JSW
2007
125views more  JSW 2007»
13 years 7 months ago
Description and Composition of E-Learning Services
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
Oussama Kassem Zein, Yvon Kermarrec
PDSE
1998
131views more  PDSE 1998»
13 years 8 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner
IJIIDS
2010
136views more  IJIIDS 2010»
13 years 2 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad