Search Sciweavers | Sciweavers

6650 search results - page 48 / 1330

» models 2009

151

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

15 years 12 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

112

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

15 years 12 months ago

Download www.ppooa.com.es

José L. Fernández-Sánchez, Gl...

claim paper

Read More »

click to vote

WDAG
2009
Springer

110views Algorithms» more WDAG 2009»

Euler Tour Lock-In Problem in the Rotor-Router Model

15 years 12 months ago

Download hal.archives-ouvertes.fr

Evangelos Bampas, Leszek Gasieniec, Nicolas Hanuss...

claim paper

Read More »

136

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

15 years 12 months ago

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam, ...

claim paper

Read More »

138

click to vote

WILF
2009
Springer

120views Fuzzy Logic» more WILF 2009»

Fuzzy Sets for Image Texture Modelling Based on Human Distinguishability of Coarseness

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers