Sciweavers

4385 search results - page 313 / 877
» Abstraction for Concurrent Objects
Sort
View
186
Voted
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
16 years 25 days ago
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...
ICALP
2007
Springer
16 years 25 days ago
Minimum-Time Reachability in Timed Games
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Pr...
GLOBECOM
2006
IEEE
16 years 22 days ago
Capacity Maximizing Packet Scheduling Algorithms for Interconnection Networks with Finite Buffers
Abstract— In this paper, we analyze the throughput of interconnection networks, viewed as multi-stage queueing networks with infinite input queues, but finite internal cross-st...
Kevin Ross, Nicholas Bambos
ISCAS
2006
IEEE
130views Hardware» more  ISCAS 2006»
16 years 21 days ago
Multi-source multi-path video streaming over wireless mesh networks
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...
LCN
2006
IEEE
16 years 21 days ago
Multi-Channel Interference Measurements for Wireless Sensor Networks
Abstract— This paper presents measurements of radio interference using ”Ambient µNode” sensor nodes. We varied distances and frequencies giving us a measure of the amount of...
Özlem Durmaz Incel, Stefan Dulman, Pierre G. ...