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 1 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 ...
108
Voted
HYBRID
1997
Springer
15 years 3 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
80
Voted
JSW
2007
125views more  JSW 2007»
14 years 11 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 1 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
103
Voted
IJIIDS
2010
136views more  IJIIDS 2010»
14 years 6 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