Search Sciweavers | Sciweavers

6650 search results - page 24 / 1330

» models 2009

113

click to vote

SEMWEB
2009
Springer

100views Internet Technology» more SEMWEB 2009»

Modeling and Query Patterns for Process Retrieval in OWL

15 years 11 months ago

Download www.uni-koblenz.de

Gerd Gröner, Steffen Staab

claim paper

Read More »

128

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 11 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

106

click to vote

TAP
2009
Springer

117views Hardware» more TAP 2009»

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process

15 years 11 months ago

Download tap.ethz.ch

Paula Herber, Florian Friedemann, Sabine Glesner

claim paper

Read More »

click to vote

APGV
2009
ACM

133views Visualization» more APGV 2009»

A case study evaluation: perceptually accurate textured surface models

15 years 11 months ago

Download www.anyhere.com

Gregory J. Ward, Mashhuda Glencross

claim paper

Read More »

158

click to vote

DIM
2009
ACM

129views Information Technology» more DIM 2009»

Modelling the impact of virtual identities on communication infrastructures

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers