Sciweavers

854 search results - page 74 / 171
» Abstracting from Failure Probabilities
Sort
View
ICARIS
2005
Springer
15 years 10 months ago
Immunising Automated Teller Machines
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
Modupe Ayara, Jon Timmis, Rogério de Lemos,...
ALGOSENSORS
2004
Springer
15 years 10 months ago
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks
Abstract. Wireless sensor networks benefit from communication protocols that reduce power requirements by avoiding frame collision. Time Division Media Access methods schedule tra...
Ted Herman, Sébastien Tixeuil
UML
2004
Springer
15 years 9 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
CP
2006
Springer
15 years 8 months ago
Constraint Based Resilience Analysis
Abstract. In this paper we give an overview of applications of Constraint Programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in mo...
Helmut Simonis
APSEC
1995
IEEE
15 years 8 months ago
Development of Distributed Applications with Separation of Concerns
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
António Rito Silva, Pedro Sousa, José...