576 search results - page 109 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
IEEESCC
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
WSFM
2007
Springer
14 years 1 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
AIEDU
2007
13 years 7 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
PASTE
2010
ACM
14 years 17 days ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...