1573 search results - page 272 / 315 » Strong User Authentication |
SAS
2005
Springer
15 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
ACII
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Global integration and migration force people to learn additional languages. With respect to major languages, the acquisition is already initiated at primary school but a...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Usability has often been sold as the silver bullet for solving the problems of unprofitable online stores. Although better usability will generally improve these sites and their p...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
WDAG
2004
Springer
15 years 3 months ago
2004
Springer
The non-blocking work-stealing algorithm of Arora, Blumofe, and Plaxton (hencheforth ABP work-stealing) is on its way to becoming the multiprocessor load balancing technology of ch...