2060 search results - page 122 / 412 » The Composition of Event-B Models |
127
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
165
click to vote
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
133
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we present a compositional boosting algorithm for detecting and recognizing 17 common image structures in low-middle level vision tasks. These structures, called &q...
124
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
131
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...