2722 search results - page 306 / 545 » The Model Evolution Calculus |
142
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
142
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
138
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— We define “random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random wa...
128
Voted
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Modeling the variability of brain structures is a fundamental problem in the neurosciences. In this paper, we start from a dataset of precisely delineated anatomical structures in ...
242
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...