10435 search results - page 274 / 2087 » Measuring system normality |
ISMVL
1993
IEEE
14 years 1 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
Web performance measurements and availability tests have been carried out using a variety of infrastructures over the last several years. Disruptions in the Internet can lead to W...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
PROMISE
2010
13 years 4 months ago
2010
Background. Currently there are several definitions of measures that should represent the size of software functional requirements. These measures have gained a quite relevant rol...
APAL
2006
13 years 9 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...