2539 search results - page 379 / 508 » Debugging Method Names |
FSE
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The CBC-MAC or cipher block chaining message authentication code, is a well-known method to generate message authentication codes. Unfortunately, it is not forgery-secure...
90
Voted
PPDP
2009
Springer
15 years 2 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
WASA
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper introduces an unobtrusive method and distributed solution set to aid users of on-line social networking sites, by creating a trusted environment in which every...
97
Voted
DAGM
2001
Springer
15 years 2 months ago
2001
Springer
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
88
Voted
ICN
2001
Springer
15 years 2 months ago
2001
Springer
The current VoIP transfer methods using low bit rate codes such as G.723.1 and G.729 are still very inefficient due to its small payload size in comparison with its large overhead ...