9067 search results - page 814 / 1814 » Adaptive Model Checking |
247
click to vote
ATC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
210
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— In this paper, we consider the queueing performance of a subscriber station for IEEE802.16e random access protocol with bulk transmissions which is allowed with an ARQ protocol...
163
click to vote
AH
2006
Springer
16 years 1 months ago
2006
Springer
Current adaptive systems acquire information about users mainly by simple tracking of resources, a user has requested and by asking users to supply the needed information. In this ...
200
click to vote
CHI
1999
ACM
15 years 12 months ago
1999
ACM
Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...
234
click to vote
EUROSSC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...