Sciweavers

797 search results - page 47 / 160
» Timed Control with Partial Observability
Sort
View
WECWIS
2005
IEEE
93views ECommerce» more  WECWIS 2005»
14 years 3 months ago
A Novel Auction Mechanism for Selling Time-Sensitive E-Services
Many e-services are time-sensitive as the users request them for a specific time period. Such services need to be repeatedly offered to keep them constantly utilized. This paper s...
Juong-Sik Lee, Boleslaw K. Szymanski
RTSS
2007
IEEE
14 years 4 months ago
Robust Priority Assignment for Fixed Priority Real-Time Systems
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
Robert I. Davis, Alan Burns
CIKM
1995
Springer
14 years 1 months ago
Using Speculation to Reduce Server Load and Service Time on the WWW
Speculative service implies that a client's request for a document is serviced by sending, in addition to the document requested, a number of other documents (or pointers the...
Azer Bestavros
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 3 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ICCV
2007
IEEE
13 years 11 months ago
Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
Bohyung Han, Seong-Wook Joo, Larry S. Davis