Sciweavers

1791 search results - page 96 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
SP
2006
IEEE
148views Security Privacy» more  SP 2006»
14 years 3 months ago
SubVirt: Implementing malware with virtual machines
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad V...
VLDB
2007
ACM
89views Database» more  VLDB 2007»
14 years 9 months ago
Effective Phrase Prediction
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
Arnab Nandi, H. V. Jagadish
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
14 years 9 months ago
XPORT: extensible profile-driven overlay routing trees
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
Olga Papaemmanouil, Yanif Ahmad, Ugur Çetin...
SCN
2004
Springer
14 years 2 months ago
Identity-Based Zero Knowledge
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
Jonathan Katz, Rafail Ostrovsky, Michael O. Rabin
CGA
2011
13 years 18 days ago
Practical Character Physics for Animators
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...
Ari Shapiro, Sung-Hee Lee