Sciweavers

2306 search results - page 130 / 462
» Modeling issues in a shipping system
Sort
View
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 1 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
JUCS
2007
86views more  JUCS 2007»
14 years 10 months ago
Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...
Erla Morales Morgado, Francisco José Garc&i...
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 8 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
FPCA
1995
15 years 1 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...
SIGSOFT
1998
ACM
15 years 2 months ago
On-Line Change Mechanisms
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
Sylvia Stuurman, Jan van Katwijk