5255 search results - page 785 / 1051 » Formal Methods for Privacy |
168
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
180
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
175
click to vote
IFL
2005
Springer
16 years 3 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
147
click to vote
IFL
2005
Springer
16 years 3 days ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
163
click to vote
IFM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...