Sciweavers

15 search results - page 2 / 3
» sdl 2003
Sort
View
ICSE
2003
IEEE-ACM
13 years 10 months ago
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
Dolores M. Zage, Wayne M. Zage
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
13 years 6 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
MSO
2003
13 years 6 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
PTS
2003
127views Hardware» more  PTS 2003»
13 years 6 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
INFOCOM
2003
IEEE
13 years 10 months ago
Using Switched Delay Lines for Exact Emulation of FIFO Multiplexers with Variable Length Bursts
—It has been studied extensively in the literature how one achieves exact emulation of First In First Out (FIFO) multiplexers for fixed size cells (or packets) using optical cro...
Cheng-Shang Chang, Duan-Shin Lee, Chao-Kai Tu