Search Sciweavers | Sciweavers

4919 search results - page 39 / 984

» A Process-Ontological Model for Software Engineering

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 3 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

click to vote

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

15 years 3 months ago

Download www.spec.org

Jerry Rolia, Amir Kalbasi, Diwakar Krishnamurthy, ...

claim paper

Read More »

click to vote

ICSM
2003
IEEE

115views Software Engineering» more ICSM 2003»

Impact Analysis and Change Management of UML Models

15 years 3 months ago

Download squall.sce.carleton.ca

Lionel C. Briand, Yvan Labiche, L. O'Sullivan

claim paper

Read More »

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

15 years 3 months ago

Download ase.informatik.uni-essen.de

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...

claim paper

Read More »

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers