1699 search results - page 288 / 340 » On the Expressive Power of QLTL |
169
click to vote
IANDC
2008
15 years 6 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
155
click to vote
CG
2006
Springer
15 years 5 months ago
2006
Springer
In most previous NPR line rendering systems, geometric properties have been directly used to extract and stylize certain edges. However, this approach is bound to a tight stylizat...
182
Voted
CLEIEJ
2006
15 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
154
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
175
click to vote
DPD
2006
15 years 5 months ago
2006
Contemporary long-term storage devices feature powerful embedded processors and sizeable memory buffers. Active Storage Devices (ASD) is the hard disk technology that makes use of ...