![]() ![]() ![]() |
![]() |
|
|
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Return to March 2005, Volume 34, Number 1 in April 2004 and was attended by 32 people from different scientific communities. The participants included researchers from the four areas of database and transaction processing systems, fault tolerance and dependable systems, formal methods for system design and correctness reasoning, and to a smaller extent, hardware architecture and programming languages. ![]() ©2006 Association for Computing Machinery |