5457 search results - page 1062 / 1092 » Software Component Independence |
119
click to vote
DAC
2001
ACM
16 years 1 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
106
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
89
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents a method for admission control and request scheduling for multiply-tiered e-commerce Web sites, achieving both stable behavior during overload and improved res...
204
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
104
click to vote
ICFP
2008
ACM
16 years 12 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...