2421 search results - page 87 / 485 » Message from the Editor-in-Chief |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
ICICS
2003
Springer
14 years 3 months ago
2003
Springer
The advantage of ID-based system is the simplification of key distribution and certification management; a user can directly use his identity as his public key instead of an arbi...
ACMDIS
2010
ACM
13 years 10 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
JCST
2008
13 years 10 months ago
2008
Current techniques for transforming unforgeable signature schemes (the forged message has never been signed) to strongly unforgeable ones (the forged message could have been signed...