Sciweavers

2024 search results - page 162 / 405
» The Meaning of Ordered SOS
Sort
View
IBIS
2006
103views more  IBIS 2006»
15 years 6 months ago
Ontology Mapping for Web-Based Educational Systems Interoperability
In order to deal with the need of sharing learning objects within and across learning object repositories most of the recent work argue for the use of ontologies as a means for pro...
Amel Bouzeghoub, Abdeltif Elbyed
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 6 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
ISEM
2006
167views more  ISEM 2006»
15 years 6 months ago
Agent-based workflow management systems (WfMSs)
Workflow management systems (WfMS) based on agent technology can cope with the rapidly evolving business environment better than most other systems as they are more flexible and op...
Lars Ehrler, Martin K. Fleurke, Maryam Purvis, Bas...
DM
2007
84views more  DM 2007»
15 years 6 months ago
Matroids on convex geometries (cg-matroids)
We consider matroidal structures on convex geometries, which we call cg-matroids. The concept of a cg-matroid is closely related to but different from that of a supermatroid intro...
Satoru Fujishige, Gleb A. Koshevoy, Yoshio Sano
JUCS
2008
141views more  JUCS 2008»
15 years 6 months ago
Designing Collaborative User Interfaces for Ubiquitous Applications Using CIAM: The AULA Case Study
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...
Maximiliano Paredes, Ana I. Molina, Miguel A. Redo...