Sciweavers

2038 search results - page 384 / 408
» Loops under Strategies
Sort
View
CPAIOR
2004
Springer
14 years 11 days ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
CCS
2006
ACM
14 years 10 days ago
TCG inside?: a note on TPM specification compliance
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
Ahmad-Reza Sadeghi, Marcel Selhorst, Christian St&...
ER
2006
Springer
109views Database» more  ER 2006»
14 years 8 days ago
Oxone: A Scalable Solution for Detecting Superior Quality Deltas on Ordered Large XML Documents
Recently, a number of relational-based approaches for detecting the changes to XML data have been proposed to address the scalability problem of main memory-based approaches (e.g.,...
Erwin Leonardi, Sourav S. Bhowmick
INFOCOM
1991
IEEE
14 years 4 days ago
Queueing Performance with Impatient Customers
customer which exceeds its deadline will either leave the queue without service or stay in the queue to get unsucWe consider the problem of scheduling impatient CUS- cessful servic...
Zheng-Xue Zhao, Shivendra S. Panwar, Donald F. Tow...
MOBISYS
2010
ACM
13 years 11 months ago
NAPman: network-assisted power management for wifi devices
WiFi radios in smart-phones consume a significant amount of power when active. The 802.11 standard allows these devices to save power through an energy-conserving Power Save Mode ...
Eric Rozner, Vishnu Navda, Ramachandran Ramjee, Sh...