384 search results - page 53 / 77 » Formal Development of Reactive Fault Tolerant Systems |
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
ICFEM
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
IASTEDSEA
2004
13 years 10 months ago
2004
Instance orientation is an approach for designing and programming software systems. It addresses a limitation of current software architectures: it allows multiple higherlevel vie...