7961 search results - page 1466 / 1593 » Input-Output Model Programs |
113
click to vote
TCOM
2008
15 years 3 months ago
2008
We consider cross-layer adaptive transmission for a single-user system with stochastic data traffic and a timevarying wireless channel. The objective is to vary the transmit power ...
136
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
144
click to vote
TCS
2008
15 years 3 months ago
2008
Multicast and broadcast are efficient ways to deliver messages to a group of recipients in a network. Due to the growing security concerns in various applications, messages are oft...
158
click to vote
TDSC
2008
15 years 3 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
111
click to vote
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
15 years 3 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...