Sciweavers

3504 search results - page 337 / 701
» Computational Aspects of Equilibria
Sort
View
CCS
2004
ACM
16 years 8 days ago
Security policies for downgrading
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
Stephen Chong, Andrew C. Myers
MABS
2004
Springer
16 years 7 days ago
Agent-Based Modelling of Forces in Crowds
Recent events have highlighted the importance of good models of crowds, however many existing crowd models are either computationally inefficient, or are missing a crucial human be...
Colin Marc Henein, Tony White
NMR
2004
Springer
16 years 7 days ago
A plausible logic which detects loops
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
David Billington
PVM
2004
Springer
16 years 6 days ago
The Impact of File Systems on MPI-IO Scalability
As the number of nodes in cluster systems continues to grow, leveraging scalable algorithms in all aspects of such systems becomes key to maintaining performance. While scalable al...
Robert Latham, Robert B. Ross, Rajeev Thakur
PVM
2004
Springer
16 years 6 days ago
A Refinement Strategy for a User-Oriented Performance Analysis
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
Jan Lemeire, Andy Crijns, John Crijns, Erik F. Dir...