Sciweavers

4385 search results - page 313 / 877
» Abstraction for Concurrent Objects
Sort
View
207
Voted
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
16 years 1 months 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 1 months 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 1 months 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 1 months 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 1 months 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. ...