2060 search results - page 299 / 412 » The Composition of Event-B Models |
155
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
177
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
168
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
118
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—DASH is a small, lightweight, power autonomous robot capable of running at speeds up to 15 body lengths per second (see video). Drawing inspiration from biomechanics, DASH has a...
184
click to vote
ACAL
2009
Springer
16 years 1 months ago
2009
Springer
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...