373 search results - page 73 / 75 » Model Checking Techniques applied to the design of Web Servi... |
CGO
2010
IEEE
14 years 4 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difď...
SOUPS
2009
ACM
14 years 5 months ago
2009
ACM
Online social network sites, such as MySpace, Facebook and others have grown rapidly, with hundreds of millions of active users. A new feature on many sites is social applications...
SIGMETRICS
2005
ACM
14 years 4 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
CBSE
2004
Springer
14 years 4 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
IJNSEC
2007
13 years 10 months ago
2007
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...