1078 search results - page 95 / 216 » Modelling and Verifying of e-Commerce Systems |
131
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
167
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
127
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
191
click to vote
PET
2012
Springer
13 years 6 months ago
2012
Springer
It is widely accepted that Disclosure Attacks are effective against high-latency anonymous communication systems. A number of Disclosure Attack variants can be found in the litera...
143
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...