Sciweavers

1745 search results - page 267 / 349
» A Context-Based Model of Attention
Sort
View
CDC
2009
IEEE
118views Control Systems» more  CDC 2009»
14 years 1 months ago
Opportunistic scheduling in cellular systems in the presence of non-cooperative mobiles
Abstract— A central scheduling problem in wireless communications is that of allocating resources to one of many mobile stations that have a common radio channel. Much attention ...
Kavitha Veeraruna, Eitan Altman, Rachid El Azouzi,...
PRIMA
2009
Springer
14 years 1 months ago
Participatory Simulation Environment gumonji/Q: A Network Game Empowered by Agents
Abstract. Network games are attracting attention as simulation platforms for social experiments because of their rich visualization performance and scalability. Our objective in th...
Shohei Yamane, Shoichi Sawada, Hiromitsu Hattori, ...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
14 years 1 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
WADS
2001
Springer
137views Algorithms» more  WADS 2001»
14 years 1 months ago
Visual Ranking of Link Structures
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...
Ulrik Brandes, Sabine Cornelsen
IWSSD
2000
IEEE
14 years 1 months ago
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
Orna Raz, Mary Shaw