4615 search results - page 674 / 923 » Virtual Classes and Their Implementation |
154
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
153
click to vote
CHES
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
196
click to vote
VLDB
2005
ACM
16 years 3 days ago
2005
ACM
Nested iteration is an important technique for query evaluation. It is the default way of executing nested subqueries in SQL. Although decorrelation often results in cheaper non-n...
192
click to vote
CHI
2004
ACM
16 years 2 days ago
2004
ACM
While collections—aggregation mechanisms such as folders, buddy lists, photo albums, etc.—clearly play a central role in information management, the potential benefits of true...
150
click to vote
SIGCSE
2004
ACM
16 years 1 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...