3116 search results - page 142 / 624 » Positively dependent types |
129
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This work presents a statistical field study of the availability of time sources for location in a true wireless network. Terrestrial (base stations) and satellite (GPS) source...
161
click to vote
INFORSID
1996
15 years 5 months ago
1996
: This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inhe...
129
click to vote
JAT
2002
15 years 4 months ago
2002
Let f C[-1, 1] change its convexity finitely many times, in the interval. We are interested in estimating the degree of approximation of f by polynomials which are coconvex with i...
133
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
126
click to vote
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
—Accurate fault detection is a key element of resilient computing. Syslogs provide key information regarding faults, and are found on nearly all computing systems. Discovering ne...