Search Sciweavers | Sciweavers

10271 search results - page 405 / 2055

» Computer Science

118

click to vote

ICDS
2010
IEEE

404views Theoretical Computer Science» more ICDS 2010»

Implementing an ITIL-Based IT Service Management Measurement System

15 years 11 months ago

Download www.uku.fi

Antti Lahtela, Marko Jäntti, Jukka Kaukola

claim paper

Read More »

144

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 11 months ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

105

click to vote

BTW
2009
Springer

162views Database» more BTW 2009»

MyMIDP and MyMIDP-Client: Direct Access to MySQL Databases from Cell Phones

15 years 11 months ago

Download www.imamu.edu.sa

Hagen Höpfner, Jörg Schad, Sebastian Wen...

claim paper

Read More »

103

click to vote

FSTTCS
2009
Springer

95views Software Engineering» more FSTTCS 2009»

Recurrence and Transience for Probabilistic Automata

15 years 11 months ago

Download www.lri.fr

Mathieu Tracol, Christel Baier, Marcus Grö&sz...

claim paper

Read More »

123

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers