2661 search results - page 365 / 533 » A Semantics for Abstraction |
165
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
179
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
173
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
155
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
167
Voted
ACNS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce WORM-ORAM, a first mechanism that combines Oblivious RAM (ORAM) access privacy and data confidentiality with Write Once Read Many (WORM) regulatory data re...