1573 search results - page 272 / 315 » Strong User Authentication |
136
click to vote
SAS
2005
Springer
15 years 11 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...
128
Voted
ACII
2005
Springer
15 years 11 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...
134
Voted
ACMSE
2004
ACM
15 years 11 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...
132
Voted
MOBICOM
2004
ACM
15 years 11 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...
152
Voted
WDAG
2004
Springer
15 years 11 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...