29046 search results - page 411 / 5810 » Computable Models |
246
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Service providers like Google and Amazon are moving into the SaaS (Software as a Service) business. They turn their huge infrastructure into a cloud-computing environment and aggr...
217
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
145
Voted
STOC
2004
ACM
16 years 5 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
106
click to vote
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper seeks to understand and design nextgeneration servers for emerging “warehousecomputing” environments. We make two key contributions. First, we put together a detail...
143
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...