12289 search results - page 2142 / 2458 » computing 2006 |
173
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
109
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
How to efficiently discard potentially uninteresting rules in exploratory rule discovery is one of the important research foci in data mining. Many researchers have presented algor...
138
Voted
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
174
click to vote
CARDIS
2006
Springer
15 years 8 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...
155
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...