In this paper we show that any two-party functionality can be securely computed in a constant number of rounds, where security is obtained against malicious adversaries that may ar...
In recent years, many data mining methods have been proposed for finding useful and structured information from market basket data. The association rule model was recently propos...
In many applications one is concerned with the approximation of functions from a finite set of scattered data sites with associated function values. We describe a scheme for cons...
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalak...
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...