Search Sciweavers | Sciweavers

5407 search results - page 22 / 1082

» The Software Engineering Global Model

click to vote

KBSE
2003
IEEE

77views Software Engineering» more KBSE 2003»

DeCo: A Declarative Coordination Framework for Scientific Model Federations

14 years 19 days 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

14 years 18 days 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

14 years 10 days 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

14 years 1 days 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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers