671 search results - page 74 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
139
click to vote
IANDC
2007
15 years 1 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
167
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
109
click to vote
COMCOM
2004
15 years 1 months ago
2004
In a previous work we have introduced a multifractal traffic model based on so-called stochastic L-Systems, which were introduced by biologist A. Lindenmayer as a method to model ...
134
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
122
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...