1730 search results - page 46 / 346 » Open Archiving for Open Research |
MMMACNS
2001
Springer
14 years 1 days ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
MM
1996
ACM
13 years 11 months ago
1996
ACM
This paper presents recent work on a multimedia retrieval project at Cambridge University and Olivetti Research Limited ORL. We present novel techniques that allow extremely rapid...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Nowadays, engineering studies are characterized by high mobility of students, lecturers and workforce and by the dynamics of multinational companies where "classes&q...
FLAIRS
2004
13 years 9 months ago
2004
Information quality assurance despite the existence of uncertainty about sources can be investigated in the context of soft security where an agent maintains trustworthiness evalu...
IADT
1998
13 years 9 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...