2673 search results - page 96 / 535 » Guided Static Analysis |
141
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
121
click to vote
ICPR
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...
113
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
109
click to vote
MLMI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Static documents play a central role in multimodal applications such as meeting recording and browsing. They provide a variety of structures, in particular thematic, for ...
109
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...