4340 search results - page 352 / 868 » Formal Methods and Cryptography |
170
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
179
click to vote
SAS
2004
Springer
16 years 2 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...
174
click to vote
SEKE
2004
Springer
16 years 2 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...
159
click to vote
TSD
2004
Springer
16 years 2 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...
175
click to vote
TYPES
2004
Springer
16 years 2 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 ...