Sciweavers

3218 search results - page 355 / 644
» Timed Extensions for SDL
Sort
View
INFOCOM
2010
IEEE
15 years 5 months ago
Minimizing Electricity Cost: Optimization of Distributed Internet Data Centers in a Multi-Electricity-Market Environment
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
Lei Rao, Xue Liu, Le Xie, Wenyu Liu
JELIA
2010
Springer
15 years 5 months ago
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
Flávio Cruz, Ricardo Rocha
VTC
2010
IEEE
184views Communications» more  VTC 2010»
15 years 4 months ago
Cooperative Interference Prediction for Enhanced Link Adaptation in the 3GPP LTE Uplink
—The interference situation in the uplink of cellular networks, such as the 3GPP UTRAN Long Term Evolution (LTE), is usually highly volatile since from one transmission time inte...
Andreas Müller, Philipp Frank
ASSETS
2010
ACM
15 years 4 months ago
Accessibility by demonstration: enabling end users to guide developers to web accessibility solutions
Few web developers have been explicitly trained to create accessible web pages, and are unlikely to recognize subtle accessibility and usability concerns that disabled people face...
Jeffrey P. Bigham, Jeremy T. Brudvik, Bernie Zhang
MASS
2010
143views Communications» more  MASS 2010»
15 years 4 months ago
Know your neighborhood: A strategy for energy-efficient communication
Wireless sensor networks typically conserve energy by following a periodic wakeup-sleep schedule: nodes minimize idle time and spend most of their time in a low power sleep state. ...
Farhana Ashraf, Riccardo Crepaldi, Robin Kravets