5019 search results - page 929 / 1004 » Computing in Quotient Groups |
151
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
128
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We model social choice problems in which self interested agents with private utility functions have to agree on values for a set of variables subject to side constraints. The goal...
143
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
133
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
168
click to vote
COMPLIFE
2006
Springer
15 years 7 months ago
2006
Springer
Background: The computer-assisted detection of small molecules by mass spectrometry in biological samples provides a snapshot of thousands of peptides, protein fragments and prote...