Sciweavers

2255 search results - page 264 / 451
» High Assurance Software Systems
Sort
View
GI
2004
Springer
15 years 12 months ago
Towards an Organic Middleware for the Smart Doorplate Project
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
Wolfgang Trumler, Faruk Bagci, Jan Petzold, Theo U...
DSN
2003
IEEE
15 years 12 months ago
GOOFI: Generic Object-Oriented Fault Injection Tool
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
Joakim Aidemark, Jonny Vinter, Peter Folkesson, Jo...
IBERAMIA
1998
Springer
15 years 10 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
PDPTA
2000
15 years 7 months ago
On Using the UML to Describe the MASC Model of Parallel Computation
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
Michael Scherger, Johnnie Potter, Jerry W. Baker
MVA
1992
15 years 7 months ago
A New Parallel Scheme for Robust Segmentation of Textured Images
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
Xudong Guan, Jian-qin Liu, Nanning Zheng