5255 search results - page 831 / 1051 » Formal Methods for Privacy |
228
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
250
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
172
click to vote
AGTIVE
1999
Springer
15 years 10 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
181
click to vote
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
166
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...