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

15 years 11 months ago

Download rockfish.cs.unc.edu

Dean Herington, P. David Stotts

claim paper

Read More »

133

click to vote

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

15 years 11 months ago

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

104

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

119

click to vote

HOTSWUP
2009
ACM

110views Software Engineering» more HOTSWUP 2009»

Cooperative Update: A New Model for Dependable Live Update

15 years 10 months ago

Download www.cs.cmu.edu

Cristiano Giuffrida, Andrew S. Tanenbaum

claim paper

Read More »

140

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers