339 search results - page 46 / 68 » Modeling Faults of Distributed, Reactive Systems |
125
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...
118
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
85
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
100
Voted
MOBIHOC
2003
ACM
15 years 5 months ago
2003
ACM
Reliable storage of data with concurrent read/write accesses (or query/update) is an ever recurring issue in distributed settings. In mobile ad hoc networks, the problem becomes e...
103
click to vote
CIIT
2004
15 years 1 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...