Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10271
search results - page 405 / 2055
»
Computer Science
Sort
relevance
views
votes
recent
update
View
thumb
title
118
click to vote
ICDS
2010
IEEE
404
views
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
118
views
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
162
views
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
95
views
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
116
views
Software Engineering
»
more
FSTTCS 2009
»
On the Memory Consumption of Probabilistic Pushdown Automata
15 years 11 months ago
Download
www7.in.tum.de
Tomás Brázdil, Javier Esparza, Stefa...
claim paper
Read More »
« Prev
« First
page 405 / 2055
Last »
Next »