Search Sciweavers | Sciweavers

9018 search results - page 153 / 1804

» 3D-Brain Model Software

142

click to vote

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

15 years 9 months ago

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

click to vote

DATE
2008
IEEE

119views Hardware» more DATE 2008»

ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis

15 years 9 months ago

Download www.date-conference.com

Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro,...

claim paper

Read More »

Voted

NOMS
2008
IEEE

83views Communications» more NOMS 2008»

Using machine learning for non-intrusive modeling and prediction of software aging

15 years 9 months ago

Download www.coregrid.net

Artur Andrzejak, Luís Moura Silva

claim paper

Read More »

123

click to vote

AISADM
2007
Springer

261views Intelligent Agents» more AISADM 2007»

Semantic Modelling in Agent-Based Software Development

15 years 9 months ago

Download www.vstu.ru

Peter Graubmann, Mikhail Roshchin

claim paper

Read More »

click to vote

ER
2007
Springer

117views Database» more ER 2007»

An Abstract Interaction Model for a MDA Software Production Method

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers