Sciweavers

15727 search results - page 571 / 3146

» Software Engineering - Introduction

144

Voted

CBSE
2007
Springer

77views Software Engineering» more CBSE 2007»

Slicing of Component Behavior Specification with Respect to Their Composition

16 years 1 months ago

Slicing of Component Behavior Specification with Respect to Their Composition

Download d3s.mff.cuni.cz

Ondrej Sery, Frantisek Plasil

claim paper

Read More »

140

Voted

CBSE
2007
Springer

80views Software Engineering» more CBSE 2007»

Capturing Web Services Provider Constraints - An Algorithmic Approach

16 years 1 months ago

Capturing Web Services Provider Constraints - An Algorithmic Approach

Download goanna.cs.rmit.edu.au

Sudeep Mallick, S. V. Subrahmanya

claim paper

Read More »

143

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

16 years 1 months ago

Existential abstractions for distributed reactive systems via syntactic transformations

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

145

Voted

FOSSACS
2007
Springer

96views Software Engineering» more FOSSACS 2007»

On the Stability by Union of Reducibility Candidates

16 years 1 months ago

On the Stability by Union of Reducibility Candidates

Download www.lama.univ-savoie.fr

Colin Riba

claim paper

Read More »

133

Voted

FOSSACS
2007
Springer

83views Software Engineering» more FOSSACS 2007»

Generalized Parity Games

16 years 1 months ago

Generalized Parity Games

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...

claim paper

Read More »

« Prev « First page 571 / 3146 Last » Next »