Search Sciweavers | Sciweavers

852 search results - page 32 / 171

» entcs 2010

click to vote

ENTCS
2010

113views more ENTCS 2010»

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

14 years 9 months ago

Download anna.fi.muni.cz

Pavlína Vareková, I. Vareková...

claim paper

Read More »

click to vote

ENTCS
2010

65views more ENTCS 2010»

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

14 years 7 months ago

Download www.iist.unu.edu

Dimitar P. Guelev, Dang Van Hung

claim paper

Read More »

Voted

ENTCS
2010

89views more ENTCS 2010»

The Interval Analysis of Multilinear Expressions

14 years 7 months ago

Download www.di.ens.fr

Cosimo Laneve, Tudor A. Lascu, Vania Sordoni

claim paper

Read More »

click to vote

ENTCS
2006

113views more ENTCS 2006»

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

14 years 10 months ago

Download www.cle.unicamp.br

Itala M. Loffredo D'Ottaviano, Milton Augustinis D...

claim paper

Read More »

click to vote

ENTCS
2006

104views more ENTCS 2006»

Synthesising Features by Games

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers