2687 search results - page 320 / 538 » Formal Analysis of PKCS |
180
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
147
click to vote
DGO
2008
15 years 8 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
154
click to vote
MKWI
2008
15 years 8 months ago
2008
: Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of availab...
183
click to vote
CSREAESA
2004
15 years 8 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
148
click to vote
EHCI
2004
15 years 8 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...