1397 search results - page 269 / 280 » On the Need for Practical Formal Methods |
SIGMOD
2009
ACM
14 years 7 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...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Commercial enterprise data warehouses are typically implemented on parallel databases due to the inherent scalability and performance limitation of a serial architecture. Queries ...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Increasing popularity of XML in recent years has generated much interest in query processing over graph-structured data. To support efficient evaluation of path expressions, many ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
DCC
2007
IEEE
14 years 7 months ago
2007
IEEE
We consider video sequences that have been encrypted uncompressed. Since encryption masks the source, traditional data compression algorithms are rendered ineffective. However, it...