Sciweavers

3429 search results - page 253 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
VLDB
1992
ACM
101views Database» more  VLDB 1992»
15 years 8 months ago
Proclamation-Based Model for Cooperating Transactions
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
H. V. Jagadish, Oded Shmueli
ECOOP
2000
Springer
15 years 8 months ago
Copying and Comparing: Problems and Solutions
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
Peter Grogono, Markku Sakkinen
ENTCS
2006
231views more  ENTCS 2006»
15 years 4 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
LACL
2001
Springer
15 years 8 months ago
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
Geoffrey K. Pullum, Barbara C. Scholz
ISDA
2005
IEEE
15 years 10 months ago
Sharing User Models for Adaptive Hypermedia Applications
In this paper we present an approach to sharing a user model among several adaptive hypermedia applications. Current adaptive hypermedia applications often realize the user model ...
Mária Bieliková, Jaroslav Kuruc