2025 search results - page 215 / 405 » Minimal-Cut Model Composition |
134
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
138
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
121
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
141
Voted
CRYPTO
2004
Springer
15 years 10 months ago
2004
Springer
Ordinarily, RSA and Rabin ciphertexts and signatures are log N bits, where N is a composite modulus; here, we describe how to “compress” Rabin ciphertexts and signatures (among...
124
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...