2060 search results - page 9 / 412 » The Composition of Event-B Models |
EUROMICRO
2011
IEEE
12 years 10 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
FEDCSIS
2011
12 years 10 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
WSC
2007
14 years 1 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
EUROCRYPT
2011
Springer
13 years 2 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...