1173 search results - page 71 / 235 » On the Compositionality of Round Abstraction |
116
Voted
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
116
Voted
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
92
Voted
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
96
Voted
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
90
Voted
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...