Sciweavers

7961 search results - page 350 / 1593
» Input-Output Model Programs
Sort
View
145
Voted
DAGSTUHL
2006
15 years 6 months ago
Static Analysis of a Model of the LDL Degradation Pathway
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
CIDR
2003
153views Algorithms» more  CIDR 2003»
15 years 6 months ago
Applying Model Management to Classical Meta Data Problems
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
Philip A. Bernstein
TOOLS
2008
IEEE
15 years 11 months ago
Engineering Associations: From Models to Code and Back through Semantics
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
Zinovy Diskin, Steve M. Easterbrook, Jürgen D...
TOOLS
1999
IEEE
15 years 9 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg
154
Voted
DISCO
1992
161views Hardware» more  DISCO 1992»
15 years 9 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer