Search Sciweavers | Sciweavers

Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

claim paper

Read More »

143

click to vote

ACMICEC
2007
ACM

137views ECommerce» more ACMICEC 2007»

Designing markets for open source production of digital culture goods

15 years 10 months ago

Download www.site.uottawa.ca

Karl Reiner Lang, Di Shang, Roumen Zicklin

claim paper

Read More »

130

click to vote

AISC
2008
Springer

91views Artificial Intelligence» more AISC 2008»

Digital Mathematics Libraries: The Good, the Bad, the Ugly

15 years 8 months ago

Download www-fourier.ujf-grenoble.fr

Thierry Bouche

claim paper

Read More »

115

click to vote

SODA
2001
ACM

109views Algorithms» more SODA 2001»

Competitive auctions and digital goods

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers