Sciweavers

621 search results - page 87 / 125
» An Expressive and Efficient Solution to the Service Selectio...
Sort
View
ICTAC
2009
Springer
14 years 7 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
GRID
2006
Springer
14 years 9 months ago
Metascheduling Multiple Resource Types using the MMKP
Grid computing involves the transparent sharing of computational resources of many types by users across large geographic distances. The altruistic nature of many current grid reso...
Daniel C. Vanderster, Nikitas J. Dimopoulos, Randa...
SASO
2010
IEEE
14 years 7 months ago
Optimal Decentralized Formation of k-Member Partnerships
To keep pace with constantly changing markets, many companies are seeking strategic partnerships. In this paper, we assume that a company can electronically provide a profile of th...
Anna Chmielowiec, Maarten van Steen
CN
2004
99views more  CN 2004»
14 years 9 months ago
Broadband communication support for earth observation from the International Space Station
In order to support the communications needs of Earth-observing instruments on the International Space Station (ISS), alternative communications architectures to provide broadband...
Alex T. Nguyen, Michael H. Hadjitheodosiou, John S...
MDM
2010
Springer
213views Communications» more  MDM 2010»
14 years 8 months ago
Towards Adaptive Sensor Data Management for Distributed Fire Evacuation Infrastructure
— We introduce a novel strategy for data processing in Wireless Sensor Networks (WSNs) in the case of emergency fire evacuation with stringent delay constraints. Such networks sh...
Andrii Cherniak, Vladimir Zadorozhny