1992 search results - page 313 / 399 » On the (limited) power of non-equivocation |
120
click to vote
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
129
click to vote
DASFAA
2007
IEEE
15 years 5 months ago
2007
IEEE
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...
132
click to vote
EENERGY
2010
15 years 5 months ago
2010
Mobile network access has seemingly become ubiquitous in industrialized countries. With data services becoming sufficiently fast, usable, and affordable, demand is growing rapidly...
146
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...