Search Sciweavers | Sciweavers

9018 search results - page 155 / 1804

» 3D-Brain Model Software

154

click to vote

ICEIS
2005
IEEE

103views Information Technology» more ICEIS 2005»

A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems

16 years 17 days ago

Download www.cis.umassd.edu

Haiping Xu, Xiaoqin Zhang

claim paper

Read More »

149

click to vote

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

Prediction of inherited and genetic mutations using the software model checker SPIN

16 years 16 days ago

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

131

Voted

SOFTVIS
2005
ACM

82views Visualization» more SOFTVIS 2005»

A space of layout styles for hierarchical graph models of software systems

16 years 16 days ago

Download www-sst.informatik.tu-cottbus.de

Andreas Noack, Claus Lewerentz

claim paper

Read More »

141

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

16 years 16 days ago

Download w3.isis.vanderbilt.edu

A. Dubey, X. Wu, H. Su, T. J. Koo

claim paper

Read More »

149

Voted

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers