8828 search results - page 1485 / 1766 » Formal methods in practice |
150
click to vote
SMA
2005
ACM
16 years 9 days ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
189
click to vote
SMA
2005
ACM
16 years 9 days ago
2005
ACM
We propose a fast and robust method for detecting crest lines on surfaces approximated by dense triangle meshes. The crest lines, salient surface features defined via first- and...
170
click to vote
WWW
2005
ACM
16 years 9 days ago
2005
ACM
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
171
click to vote
AIME
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In present clinical practice, information about the heart electrical activity is routinely gathered through ECG’s, which record electrical potential from just nine site...
205
click to vote
ASIACRYPT
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...