Search Sciweavers | Sciweavers

9018 search results - page 32 / 1804

» 3D-Brain Model Software

click to vote

KBSE
2003
IEEE

77views Software Engineering» more KBSE 2003»

DeCo: A Declarative Coordination Framework for Scientific Model Federations

14 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

14 years 3 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

14 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

14 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers