3583 search results - page 99 / 717 » A Type System for the Relational Calculus of Object Systems |
TACS
1994
Springer
14 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
HPDC
1993
IEEE
14 years 1 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
ENTCS
2010
13 years 9 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
IADT
1998
13 years 10 months ago
1998
: The aim of this work is to present the Musical Score as a new attribute characteristic in an object-oriented database. It defines a new data type for attributes that can be assoc...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...