Sciweavers

1316 search results - page 158 / 264
» Analytic performance models for bounded queueing systems
Sort
View
HICSS
2008
IEEE
108views Biometrics» more  HICSS 2008»
15 years 8 months ago
Should Online Auctions Employ Dynamic Buyout Pricing Models?
Online auctions are inherently dynamic. Online auction designs that internalize temporal changes in the economic environment are generally expected to perform better than static d...
Roumen Vragov, Di Shang, Karl Reiner Lang
TPDS
2008
202views more  TPDS 2008»
15 years 1 months ago
Control-Based Adaptive Middleware for Real-Time Image Transmission over Bandwidth-Constrained Networks
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
Xiaorui Wang, Ming Chen, Huang-Ming Huang, Venkita...
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 5 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 2 days ago
On Outage and Error Rate Analysis of the Ordered V-BLAST
Outage and error rate performance of the ordered BLAST with more than 2 transmit antennas is evaluated for i.i.d. Rayleigh fading channels. A number of lower and upper bounds on th...
Sergey Loyka, François Gagnon
106
Voted
IJCAI
1993
15 years 2 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff