677 search results - page 125 / 136 » Dependent Types from Counterexamples |
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper, we study the distributed spectrum allocation for autonomous users transmitting delay-sensitive information over a wireless multi-carrier network. Because there is...
ICSM
2008
IEEE
15 years 4 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The demand for broadband mobile services continues to grow. Conventional high-speed broadband solutions are based on wired-access technologies such as digital subscriber line (...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
Online auction sites have unique workloads and user behavior characteristics that do not exist in other e-commerce sites. Earlier studies by the authors identified i) significan...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...