Sciweavers

780 search results - page 16 / 156

» software 2011

63

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

12 years 9 months ago

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

52

CRIWG
2011

230views Software Engineering» more CRIWG 2011»

A Transfer Approach for Facilitation Knowledge in Computer-Supported Collaboration

12 years 9 months ago

A Transfer Approach for Facilitation Knowledge in Computer-Supported Collaboration

Download www.sim.ovgu.de

Stefan Werner Knoll, Jana Schumann, Thomas Matzdor...

claim paper

Read More »

30

APAL
2011

190views Software Engineering» more APAL 2011»

Stable domination and weight

13 years 4 months ago

Stable domination and weight

Download intramath.uniandes.edu.co

We develop the theory of domination by stable types and stable weight in an arbitrary theory.

Alf Onshuus, Alexander Usvyatsov

claim paper

Read More »

31

SIAMDM
2011

187views Software Engineering» more SIAMDM 2011»

Counting Independent Sets Using the Bethe Approximation

13 years 19 days ago

Counting Independent Sets Using the Bethe Approximation

Download ssg.mit.edu

Venkat Chandrasekaran, Misha Chertkov, David Gamar...

claim paper

Read More »

37

ICSE
2011
IEEE-ACM

183views Software Engineering» more ICSE 2011»

Using software evolution history to facilitate development and maintenance

13 years 1 months ago

Using software evolution history to facilitate development and maintenance

Download www.cs.ucr.edu

Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...

Pamela Bhattacharya

claim paper

Read More »

« Prev « First page 16 / 156 Last » Next »