1569 search results - page 75 / 314 » Using Organic Computing to Control Bunching Effects |
118
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
136
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes a study in the evolution of cooperative behavior, specifically the construction of communication networks, through digital evolution and multilevel selection...
120
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
143
Voted
NDSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
145
click to vote
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...