7557 search results - page 1320 / 1512 » Modeling Timed Concurrent Systems |
210
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
205
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly...
190
Voted
AINA
2011
IEEE
14 years 10 months ago
2011
IEEE
— Next generation wireless networks will be heterogeneous, where several primary users (PU e.g. licensed users) and secondary users (SU e.g. unlicensed users) can operate in the ...
306
click to vote
BNCOD
2011
14 years 6 months ago
2011
Due to high data volumes and unpredictable arrival rates, continuous query systems processing expensive queries in real-time may fail to keep up with the input data streams - resul...
225
Voted
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...