5255 search results - page 719 / 1051 » Formal Methods for Privacy |
153
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
160
click to vote
FASE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
145
click to vote
FCT
2007
Springer
16 years 26 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
166
click to vote
FMCAD
2007
Springer
16 years 26 days ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
150
click to vote
FMCAD
2007
Springer
16 years 26 days ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...