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»
15 years 7 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
15 years 10 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»
15 years 5 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»
15 years 7 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»
15 years 24 days 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