215 search results - page 30 / 43 » Toward Verified Execution Environments |
CI
2005
13 years 7 months ago
2005
The TAC 2003 supply-chain game presented automated trading agents with a challenging strategic problem. Embedded within a high-dimensional stochastic environment was a pivotal str...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
FC
2006
Springer
13 years 11 months ago
2006
Springer
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
WSC
1996
13 years 8 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
SIGADA
2001
Springer
13 years 12 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...