1280 search results - page 18 / 256 » Soft Typing with Conditional Types |
ESERNET
2003
Springer
14 years 2 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
PODS
2010
ACM
14 years 2 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
ISCC
2000
IEEE
14 years 1 months ago
2000
IEEE
A new medium access control (MAC) protocol for mobile wireless communications is presented and investigated. We explore, via an extensive simulation study, the performance of the ...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Opportunistic routing is a well-known technique that exploits the broadcast nature of wireless transmissions and path diversity to form the route in an adaptive manner based on cur...