Search Sciweavers | Sciweavers

9018 search results - page 154 / 1804

» 3D-Brain Model Software

100

click to vote

LADC
2007
Springer

149views Applied Computing» more LADC 2007»

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

15 years 9 months ago

Download mtc-m17.sid.inpe.br

Ana Maria Ambrosio, Maria de Fátima Mattiel...

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 9 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

127

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

15 years 9 months ago

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

123

Voted

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 9 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

122

Voted

IAT
2005
IEEE

125views Intelligent Agents» more IAT 2005»

A Cognitive Model of Interaction for Software Agents

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers