456 search results - page 55 / 92 » The Logical Execution Time Paradigm |
TCC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
GCC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
13 years 7 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...