677 search results - page 125 / 136 » Dependent Types from Counterexamples |
144
Voted
GLOBECOM
2008
IEEE
15 years 10 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...
116
Voted
ICSM
2008
IEEE
15 years 10 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...
117
click to vote
VTC
2008
IEEE
15 years 10 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 (...
125
Voted
QEST
2007
IEEE
15 years 10 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...
146
click to vote
ECTEL
2007
Springer
15 years 10 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...