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

15 years 4 months ago

Download anna.fi.muni.cz

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

claim paper

Read More »

165

click to vote

ENTCS
2010

65views more ENTCS 2010»

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

15 years 3 months ago

Download www.iist.unu.edu

Dimitar P. Guelev, Dang Van Hung

claim paper

Read More »

101

click to vote

ENTCS
2010

89views more ENTCS 2010»

The Interval Analysis of Multilinear Expressions

15 years 3 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

15 years 5 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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers