Search Sciweavers | Sciweavers

9006 search results - page 139 / 1802

» Modeling Software

140

click to vote

ICEIS
2005
IEEE

103views Information Technology» more ICEIS 2005»

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

15 years 12 months ago

Download www.cis.umassd.edu

Haiping Xu, Xiaoqin Zhang

claim paper

Read More »

140

click to vote

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

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

15 years 12 months ago

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

119

click to vote

SOFTVIS
2005
ACM

82views Visualization» more SOFTVIS 2005»

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

15 years 12 months ago

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

Andreas Noack, Claus Lewerentz

claim paper

Read More »

129

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

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

15 years 12 months ago

Download w3.isis.vanderbilt.edu

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

claim paper

Read More »

137

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers