28497 search results - page 5496 / 5700 » Improving experiences of computation |
150
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
135
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
120
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Laundering email spam through open-proxies or compromised PCs is a widely-used trick to conceal real spam sources and reduce spamming cost in underground email spam industry. Spam...
147
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Radio Frequency Identification (RFID) technology is fast becoming a prevalent tool in tracking commodities in supply chain management applications. The movement of commodities thr...
135
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Classification of 3D objects remains an important task in many areas of data management such as engineering, medicine or biology. As a common preprocessing step in current approac...