4350 search results - page 517 / 870 » Case studies for contract-based systems |
172
click to vote
TARK
2005
Springer
16 years 1 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...
215
click to vote
IPPS
2003
IEEE
16 years 27 days ago
2003
IEEE
We are interested in new ways of threats and attack on the e-commerce. The server side of e-commerce platform is usually very well protected and secured. Unfortunately, this is no...
220
click to vote
ALDT
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. We study a model in which a group of agents make a sequence of collective decisions on whether to remain in the current state of the system or switch to an alternative st...
207
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
236
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
Java applications rely on Just-In-Time (JIT) compilers or adaptive compilers to generate and optimize binary code at runtime to boost performance. In conventional Java Virtual Mac...