Sciweavers

2672 search results - page 212 / 535
» Hybridizing Concept Languages
Sort
View
ICALP
2007
Springer
13 years 11 months ago
Trading Static for Adaptive Security in Universally Composable Zero-Knowledge
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
Aggelos Kiayias, Hong-Sheng Zhou
INFOCOM
2012
IEEE
11 years 11 months ago
Spectrum trading with insurance in cognitive radio networks
—Market based spectrum trading has been extensively studied to realize efficient spectrum utilization in cognitive radio networks (CRNs). In this paper, we utilize the concept o...
Haiming Jin, Gaofei Sun, Xinbing Wang, Qian Zhang
CHI
2009
ACM
14 years 10 months ago
From interaction to trajectories: designing coherent journeys through user experiences
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
Steve Benford, Gabriella Giannachi, Boriana Koleva...
CHI
2006
ACM
14 years 9 months ago
Getting a grip on tangible interaction: a framework on physical space and social interaction
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
Eva Hornecker, Jacob Buur
TRIDENTCOM
2008
IEEE
14 years 3 months ago
DRIVE: a reconfigurable testbed for advanced vehicular services and communications
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic ...
Carolina Pinart, Pilar Sanz, Iván Lequerica...