Sciweavers

2947 search results - page 295 / 590
» Analyzing Program Analyses
Sort
View
APSEC
2007
IEEE
16 years 1 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...
AVSS
2007
IEEE
16 years 1 months ago
On the effect of motion segmentation techniques in description based adaptive video transmission
This paper presents the results of analysing the effect of different motion segmentation techniques in a system that transmits the information captured by a static surveillance ca...
Juan Carlos San Miguel, José María M...
ICC
2007
IEEE
102views Communications» more  ICC 2007»
16 years 1 months ago
M-gated Scheduling in Wireless Networks: Performance and Cross-layer Design
—E-limited (or K-limited) scheduling is attractive because its performance is close to that of the exhaustive scheduling which is proven to be the optimal polling scheme for symm...
Yan Li, Guangxi Zhu
ICC
2007
IEEE
16 years 1 months ago
Maximum-Likelihood Receivers for FFH/BFSK Systems with Multitone Jamming over Frequency-Selective Rayleigh Fading Channels
Abstract— In this paper, we have investigated the maximumlikelihood (ML) receivers for the fast frequency-hopped binary frequency-shift-keying (FFH/BFSK) spread-spectrum communic...
Tsan-Ming Wu, Po-Chin Hung
SSDBM
2007
IEEE
121views Database» more  SSDBM 2007»
16 years 28 days ago
Cost-based Optimization of Complex Scientific Queries
High energy physics scientists analyze large amounts of data looking for interesting events when particles collide. These analyses are easily expressed using complex queries that ...
Ruslan Fomkin, Tore Risch