617 search results - page 85 / 124 » Debugging distributed programs using controlled re-execution |
138
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
157
click to vote
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
145
click to vote
SDMW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
136
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...
145
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...