hardware | Sciweavers

18

click to vote

PTS
2007

83views Hardware» more PTS 2007»

Model-Based Testing of Service Infrastructure Components

13 years 10 months ago

Download rap.dsi.unifi.it

László Gönczy, Reiko Heckel, D&...

claim paper

Read More »

27

click to vote

PTS
2007

112views Hardware» more PTS 2007»

Symbolic Model Based Testing for Component Oriented Systems

13 years 10 months ago

Download www.epigenomique.genopole.fr

In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which speciﬁc uses will be made o...

Alain Faivre, Christophe Gaston, Pascale Le Gall

claim paper

Read More »

35

click to vote

PTS
2007

144views Hardware» more PTS 2007»

Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware

13 years 10 months ago

Download www.mrtc.mdh.se

The interrelationship between software faults and failures is quite intricate and obtaining a meaningful characterization of it would definitely help the testing community in decid...

Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Pe...

claim paper

Read More »

17

click to vote

MCU
2007

104views Hardware» more MCU 2007»

Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata

13 years 10 months ago

Download www.univ-orleans.fr

Frantisek Mráz, Friedrich Otto, Martin Pl&a...

claim paper

Read More »

18

click to vote

MCU
2007

74views Hardware» more MCU 2007»

More on the Size of Higman-Haines Sets: Effective Constructions

13 years 10 months ago

Download www.univ-orleans.fr

Hermann Gruber, Markus Holzer, Martin Kutrib

claim paper

Read More »

20

click to vote

MCU
2007

96views Hardware» more MCU 2007»

Query Completeness of Skolem Machine Computations

13 years 10 months ago

Download www.univ-orleans.fr

John Fisher, Marc Bezem

claim paper

Read More »

23

click to vote

MCU
2007

97views Hardware» more MCU 2007»

Using Approximation to Relate Computational Classes over the Reals

13 years 10 months ago

Download www.univ-orleans.fr

Manuel Lameiras Campagnolo, Kerry Ojakian

claim paper

Read More »

23

click to vote

MCU
2007

123views Hardware» more MCU 2007»

Study of Limits of Solvability in Tag Systems

13 years 10 months ago

Download logica.ugent.be

Abstract. In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. Thi...

Liesbeth De Mol

claim paper

Read More »

25

click to vote

MCU
2007

92views Hardware» more MCU 2007»

On the Power of Networks of Evolutionary Processors

13 years 10 months ago

Download theo.cs.uni-magdeburg.de

We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumer...

Jürgen Dassow, Bianca Truthe

claim paper

Read More »

30

click to vote

MCU
2007

114views Hardware» more MCU 2007»

Changing the Neighborhood of Cellular Automata

13 years 10 months ago