7971 search results - page 1408 / 1595 » On unbounded operators and applications |
194
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
Partitioned query processing is an effective method to process continuous queries with large stateful operators in a distributed systems. This method typically partitions input da...
210
click to vote
ISCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
204
click to vote
SMC
2007
IEEE
16 years 23 days ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
191
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
194
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...