3318 search results - page 419 / 664 » The Weak Instance Model |
141
click to vote
FAC
2008
15 years 3 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
167
click to vote
IBERAMIA
2010
Springer
15 years 2 months ago
2010
Springer
Several methods have been developed for face detection with certain success, however these tend to fail under difficult conditions such as partial occlusions and changes in orienta...
162
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—It is a well known fact that user-chosen passwords are somewhat predictable: by using tools such as dictionaries or probabilistic models, attackers and password recovery tools c...
148
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
158
click to vote
ICICS
2010
Springer
15 years 2 months ago
2010
Springer
Threshold public-key encryption (TPKE) allows a set of users to decrypt a ciphertext if a given threshold of authorized users cooperate. Existing TPKE schemes suffer from either lo...