Sciweavers

4208 search results - page 495 / 842
» Better Selection of the Best
Sort
View
FSE
2010
Springer
146views Cryptology» more  FSE 2010»
15 years 10 months ago
A Unified Method for Improving PRF Bounds for a Class of Blockcipher Based MACs
This paper provides a unified framework for improving PRF (pseudorandom function) advantages of several popular MACs (message authentication codes) based on a blockcipher modeled a...
Mridul Nandi
ACMSE
2008
ACM
15 years 8 months ago
Education and design: using human-computer interaction case studies to learn
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
Gregory Smith, Laurian C. Vega, D. Scott McCrickar...
ASPDAC
2008
ACM
108views Hardware» more  ASPDAC 2008»
15 years 8 months ago
A new global router for modern designs
- In this paper, we present a new global router, NTHU-Route, for modern designs. NTHU-Route is based on iterative rip-ups and reroutes, and several techniques are proposed to enhan...
Jhih-Rong Gao, Pei-Ci Wu, Ting-Chi Wang
ATAL
2008
Springer
15 years 8 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
ATAL
2008
Springer
15 years 8 months ago
A best-first anytime algorithm for computing optimal coalition structures
This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition va...
Chattrakul Sombattheera, Aditya Ghose