5255 search results - page 469 / 1051 » Formal Methods for Privacy |
185
click to vote
SAS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
181
click to vote
SEKE
2004
Springer
16 years 8 days ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
166
click to vote
TSD
2004
Springer
16 years 7 days ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
184
click to vote
TYPES
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
190
click to vote
TYPES
2004
Springer
16 years 7 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...