1096 search results - page 47 / 220 » Abstract Canonical Inference |
106
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--The open wireless medium in a mobile ad-hoc network (MANET) enables malicious traffic analysis to dynamically infer the network traffic pattern in hostile environments. T...
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The highly stochastic nature of wireless environments makes it desirable to monitor link loss rates in wireless sensor networks. In this paper, we study the loss inferen...
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
15 years 3 months ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...