266 search results - page 44 / 54 » What You Expect Is What You See |
FM
2006
Springer
13 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Ten years ago we were on the verge of having cameras built into our mobile phones, but knew very little about what to expect or how they would be used. Now we are faced with the s...
DGCI
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Human perception of shape is based on visual parts of objects to a point that a single, significant visual part is sufficient to recognize the whole object. For example,...
ESA
2009
Springer
14 years 2 months ago
2009
Springer
Given n potential oil locations, where each has oil at a certain depth, we seek good trade-offs between the number of oil sources found and the total amount of drilling performed. ...
SIGUCCS
2003
ACM
14 years 27 days ago
2003
ACM
Managing operating systems and campus-supported software can be a daunting challenge. Many colleges and universities handle these challenges by using disk imaging software to crea...