1078 search results - page 114 / 216 » Modelling and Verifying of e-Commerce Systems |
185
click to vote
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
124
click to vote
DSS
2008
15 years 4 months ago
2008
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
133
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
135
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
130
Voted
CN
2004
15 years 4 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...