Search Sciweavers | Sciweavers

15777 search results - page 543 / 3156

» The Reformulation-Optimization Software Engine

111

click to vote

CBSE
2007
Springer

77views Software Engineering» more CBSE 2007»

Slicing of Component Behavior Specification with Respect to Their Composition

15 years 11 months ago

Download d3s.mff.cuni.cz

Ondrej Sery, Frantisek Plasil

claim paper

Read More »

102

Voted

CBSE
2007
Springer

80views Software Engineering» more CBSE 2007»

Capturing Web Services Provider Constraints - An Algorithmic Approach

15 years 11 months ago

Download goanna.cs.rmit.edu.au

Sudeep Mallick, S. V. Subrahmanya

claim paper

Read More »

105

Voted

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

15 years 11 months ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

114

Voted

FOSSACS
2007
Springer

96views Software Engineering» more FOSSACS 2007»

On the Stability by Union of Reducibility Candidates

15 years 11 months ago

Download www.lama.univ-savoie.fr

Colin Riba

claim paper

Read More »

Voted

FOSSACS
2007
Springer

83views Software Engineering» more FOSSACS 2007»

Generalized Parity Games

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers