Sciweavers

2 search results - page 1 / 1
» Constraint Refinement for Online Verifiable Cross-Layer Syst...
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
13 years 5 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
WWW
2010
ACM
13 years 3 months ago
Protocol-aware matching of web service interfaces for adapter development
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
Hamid R. Motahari Nezhad, Guang Yuan Xu, Boualem B...