12981 search results - page 2100 / 2597 » Model Checking (Abstract) |
180
click to vote
JSW
2007
15 years 7 months ago
2007
Abstract— This paper deals with dynamic scheduling in realtime systems that have Quality of Service requirements. We assume that tasks are periodic and may miss their deadlines, ...
198
click to vote
JSW
2007
15 years 7 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
165
click to vote
TWC
2008
15 years 7 months ago
2008
Abstract--The capacity of a general multiuser CDMA jamming channel is analyzed when the receiver has or lacks jammer state information. Analyses are carried out for noncooperative ...
239
click to vote
TWC
2008
15 years 7 months ago
2008
Abstract-- Multiuser diversity gains can be achieved by assigning channels to users with better channel quality in multiuser systems. To avoid the extensive information exchange re...
194
click to vote
WINET
2008
15 years 7 months ago
2008
Abstract There exist accurate calculation methods for estimation of interference power sum statistics in fixedtopology wireless networks based on the log-normal shadowing radio mod...