67 search results - page 3 / 14 » Formal System Design Based on the Synchrony Hypothesis, Func... |
DAIS
2006
13 years 6 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
ICECCS
2009
IEEE
13 years 11 months ago
2009
IEEE
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...
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
JSA
2008
13 years 4 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
ECBS
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...