373 search results - page 49 / 75 » Model Checking Techniques applied to the design of Web Servi... |
CCR
2004
14 years 9 months ago
2004
This paper proposes a real options framework for evaluating architectural choices and the economic value of these alternative choices of networks, protocols, and services. Using p...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
CLOUDCOM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
DOLAP
2006
ACM
15 years 1 months ago
2006
ACM
As more and more information is available on the web, it is a problem that many web resources are not accessible, i.e., are not usable for users with special needs. For example, f...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...