Sciweavers

5900 search results - page 214 / 1180
» Dependable Systems
Sort
View
SAINT
2005
IEEE
15 years 11 months ago
Fault-Tolerant Routing for P2P Systems with Unstructured Topology
New application scenarios, such as Internet-scale computations, nomadic networks and mobile systems, require decentralized, scalable and open infrastructures. The peerto-peer (P2P...
Leonardo Mariani
CSREAESA
2006
15 years 7 months ago
Towards Efficient Development of Embedded Real-Time Systems, the Component Based Approach
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
Jukka Mäki-Turja, Mikael Nolin, Kaj Hänn...
ECIS
2004
15 years 7 months ago
The effect of power on the adoption of interorganizational information systems: The Adoption Position model
The adoption and implementation of interorganizational information systems (IOS) heavily depend upon the trading partner(s) of the focal organization. Power structures have been s...
Akos Nagy
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 4 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
ISTA
2004
15 years 7 months ago
Periodic Scheduling in On-Demand Broadcast System
: Recent advances in mobile computing have enabled the deployment of broadcast based information systems such as, wireless internet, traffic information systems, etc. These systems...
Nitin Prabhu, Vijay Kumar, Indrakshi Ray