196 search results - page 34 / 40 » Widening Operators for Abstract Interpretation |
181
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
154
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
163
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
164
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
158
click to vote
VVEIS
2007
15 years 7 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...