2470 search results - page 94 / 494 » Liveness-Preserving Simulation Relations |
96
Voted
CHI
2006
ACM
16 years 1 months ago
2006
ACM
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...
107
Voted
IEEEARES
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
110
click to vote
MABS
2007
Springer
15 years 6 months ago
2007
Springer
This paper contributes to the analysis of the question how altruistic behaviour can be in an agent’s own interest. The question is addressed by involving a temporal dimension in ...
101
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. This motivates the use of real workloads (as recorded in activity logs) to drive simulations of n...
130
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...