Search Sciweavers | Sciweavers

4919 search results - page 19 / 984

» A Process-Ontological Model for Software Engineering

click to vote

KBSE
2003
IEEE

77views Software Engineering» more KBSE 2003»

DeCo: A Declarative Coordination Framework for Scientific Model Federations

15 years 3 months ago

Download rockfish.cs.unc.edu

Dean Herington, P. David Stotts

claim paper

Read More »

click to vote

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

15 years 2 months ago

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 2 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

click to vote

HOTSWUP
2009
ACM

110views Software Engineering» more HOTSWUP 2009»

Cooperative Update: A New Model for Dependable Live Update

15 years 2 months ago

Download www.cs.cmu.edu

Cristiano Giuffrida, Andrew S. Tanenbaum

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers