2081 search results - page 385 / 417 » Chaotic Systems Synchronization in Secure Communication Syst... |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
ENTCS
2008
13 years 7 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
EL
2002
13 years 7 months ago
2002
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...
KES
2008
Springer
13 years 6 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
In this paper we present Netalyzr, a network measurement and debugging service that evaluates the functionality provided by people's Internet connectivity. The design aims to...