Sciweavers

9018 search results - page 29 / 1804

» 3D-Brain Model Software

23

CSMR
2007
IEEE

93views Software Engineering» more CSMR 2007»

Metamodel-Based Inference of Inter-Model Correspondence

14 years 4 months ago

Metamodel-Based Inference of Inter-Model Correspondence

Download www.cs.tut.fi

Petri Selonen, Markus Kettunen

claim paper

Read More »

24

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

14 years 4 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

27

B
2007
Springer

140views Software Engineering» more B 2007»

Meca: A Tool for Access Control Models

14 years 4 months ago

Meca: A Tool for Access Control Models

Download membres-liglab.imag.fr

Amal Haddad

claim paper

Read More »

22

TMRA
2007
Springer

130views Software Engineering» more TMRA 2007»

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

14 years 4 months ago

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

30

ISPASS
2006
IEEE

77views Software Engineering» more ISPASS 2006»

A statistical multiprocessor cache model

14 years 3 months ago

A statistical multiprocessor cache model

Download www.it.uu.se

Erik Berg, Håkan Zeffer, Erik Hagersten

claim paper

Read More »

« Prev « First page 29 / 1804 Last » Next »