2060 search results - page 217 / 412 » The Composition of Event-B Models |
147
click to vote
FDL
2005
IEEE
16 years 6 days 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...
174
click to vote
CRYPTO
2004
Springer
15 years 12 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...
157
click to vote
IPPS
2000
IEEE
15 years 11 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...
179
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
202
click to vote
ICGI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...