891 search results - page 64 / 179 » Full Abstraction for PCF |
INFOCOM
2002
IEEE
14 years 26 days ago
2002
IEEE
Abstract—The increasing presence of UDP traffic in the Internet and the emergence of sensing applications which do not require full reliability motivates the search for a robust...
ACNS
2010
Springer
14 years 22 days ago
2010
Springer
Abstract. We introduce WORM-ORAM, a first mechanism that combines Oblivious RAM (ORAM) access privacy and data confidentiality with Write Once Read Many (WORM) regulatory data re...
AI
2010
Springer
14 years 22 days ago
2010
Springer
Abstract. In this paper we give a systematic analysis of the relationship between imbalance and overlap as factors influencing classifier performance. We demonstrate that these t...
ICIAR
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. Real time and markerless motion capture is an active research area, due to applications in human-computer interactions, for example. A large part of the existing markerle...
ICMT
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...