12289 search results - page 325 / 2458 » computing 2006 |
143
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
135
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
— To ensure the operability and reliability of large scale Enterprise Resource Planning Systems (ERP), a peak-load oriented hardware sizing is often used. Better utilization can ...
122
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
Success in today’s marketing arena can often depend on companies embracing effective new technologies and integrating them into their business model. In the computing service su...
140
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
107
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
We present a computer vision technique to detect when the user brings their thumb and forefinger together (a pinch gesture) for close-range and relatively controlled viewing circu...