Sciweavers

10615 search results - page 1715 / 2123
» Dynamic topic models
Sort
View
ICAS
2009
IEEE
197views Robotics» more  ICAS 2009»
16 years 1 months ago
Web QoE Evaluation in Multi-agent Networks: Validation of ITU-T G.1030
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...
Eva Ibarrola, Fidel Liberal, Ianire Taboada, Rodri...
174
Voted
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 1 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
INFOCOM
2009
IEEE
16 years 29 days ago
Interference-Aware MAC Protocol for Wireless Networks by a Game-Theoretic Approach
—We propose an interference-aware MAC protocol using a simple transmission strategy motivated by a gametheoretic approach. We formulate a channel access game, which considers nod...
HyungJune Lee, Hyukjoon Kwon, Arik Motskin, Leonid...
161
Voted
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
16 years 29 days ago
Analysis of the terrestrial locomotion of a salamander robot
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
Konstantinos Karakasiliotis, Auke Jan Ijspeert
APPT
2009
Springer
16 years 28 days ago
A Fast Scheme to Investigate Thermal-Aware Scheduling Policy for Multicore Processors
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
Liqiang He, Cha Narisu
« Prev « First page 1715 / 2123 Last » Next »