Apache Drill @ PJUG, Jan 15, 2013

Unstoppable Stateful PHP Web Services

Logging Last Resource Optimization for Distributed Transactions in Oracle Weblogic Server

Integrated Data, Message, and Process Recovery for Failure Masking in Web Services

CTL Model Checking in Database Cloud

Formal Verification of Transactional Interaction Contract

Formal Verification of Web Service Interaction Contracts

Logging Last Resource Optimization for Distributed Transactions in Oracle…

#HS16SJ Cross-DC Fault-Tolerant ViewFileSystem at Twitter