384 search results - page 26 / 77 » Formal Development of Reactive Fault Tolerant Systems |
FMSB
2008
13 years 9 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
PDPTA
2008
13 years 9 months ago
2008
Abstract - With the growth of the Internet and increased demand for Web Services has come a heightened need for scalable wide-area group communication systems. The need for trust i...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
HIPC
2000
Springer
13 years 11 months ago
2000
Springer
An increasing number of mission-critical, embedded, telecommunications, and financial distributed systems are being developed using distributed object computing middleware, such a...
ISPA
2004
Springer
14 years 1 months ago
2004
Springer
This paper investigates fault tolerance issues in Bistro, a wide area upload architecture. In Bistro, clients first upload their data to intermediaries, known as bistros. A destin...