Sciweavers

16 search results - page 4 / 4
» iceccs 2009
Sort
View
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
13 years 11 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...