Search Sciweavers | Sciweavers

4919 search results - page 19 / 984

» A Process-Ontological Model for Software Engineering

121

click to vote

KBSE
2003
IEEE

77views Software Engineering» more KBSE 2003»

DeCo: A Declarative Coordination Framework for Scientific Model Federations

16 years 22 days ago

Download rockfish.cs.unc.edu

Dean Herington, P. David Stotts

claim paper

Read More »

155

Voted

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

16 years 21 days ago

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

132

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

16 years 13 days ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

150

click to vote

HOTSWUP
2009
ACM

110views Software Engineering» more HOTSWUP 2009»

Cooperative Update: A New Model for Dependable Live Update

16 years 4 days ago

Download www.cs.cmu.edu

Cristiano Giuffrida, Andrew S. Tanenbaum

claim paper

Read More »

180

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

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers