Search Sciweavers | Sciweavers

6650 search results - page 48 / 1330

» models 2009

165

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

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

16 years 24 days ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

126

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

16 years 24 days ago

Download www.ppooa.com.es

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

claim paper

Read More »

108

click to vote

WDAG
2009
Springer

110views Algorithms» more WDAG 2009»

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

16 years 23 days ago

Download hal.archives-ouvertes.fr

Evangelos Bampas, Leszek Gasieniec, Nicolas Hanuss...

claim paper

Read More »

152

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

16 years 23 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

149

click to vote

WILF
2009
Springer

120views Fuzzy Logic» more WILF 2009»

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

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers