2663 search results - page 204 / 533 » How to Choose a Timing Model |
140
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
149
click to vote
CIG
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper introduces quantitative measurements/metrics of qualitative entertainment features within interactive playgrounds inspired by computer games and proposes art...
154
click to vote
BERTINORO
2005
Springer
15 years 10 months ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
131
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
140
Voted
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...