Search Sciweavers | Sciweavers

40

ASM
2010
ASM

268views Computational Biology» more ASM 2010»

Refinement-Animation for Event-B - Towards a Method of Validation

13 years 11 months ago

We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...

Stefan Hallerstede, Michael Leuschel, Daniel Plagg...

claim paper

Read More »

21

click to vote

ECIS
2000

89views Information Technology» more ECIS 2000»

An Empirical Study of System Development Method Tailoring in Practice

13 years 9 months ago

Download is2.lse.ac.uk

Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...

Brian Fitzgerald, Nancy L. Russo, Tom O'Kane

claim paper

Read More »

25

click to vote

RTCSA
1997
IEEE

158views Embedded Systems» more RTCSA 1997»

On memory protection in real-time OS for small embedded systems

13 years 11 months ago

Download ssrnet.snu.ac.kr

Memory protection is an important OS feature for the reliability and safety of real-time control systems. In this paper, we study the feasibility of memory protection in small emb...

Shoji Suzuki, Kang G. Shin

claim paper

Read More »

28

click to vote

CAIP
2005
Springer

114views Image Analysis» more CAIP 2005»

A Segmentation Algorithm for Noisy Images

14 years 1 months ago

Download liris.cnrs.fr

This paper presents a segmentation algorithm for gray-level images and addresses issues related to its performance on noisy images. It formulates an image segmentation problem as a...

Soufiane Rital, Hocine Cherifi, Serge Miguet

claim paper

Read More »

25

click to vote

VLSID
1995
IEEE

97views VLSI» more VLSID 1995»

Synthesis of asynchronous circuits for stuck-at and robust path delay fault testability

13 years 11 months ago