2470 search results - page 358 / 494 » Liveness-Preserving Simulation Relations |
227
click to vote
DAGSTUHL
2011
14 years 4 months ago
2011
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
152
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Spectrum awareness is one of the most challenging requirements in cognitive radio (CR). To adequately adapt to the changing radio environment, it is necessary for the CR to be a...
165
click to vote
CORR
2012
Springer
14 years 6 days ago
2012
Springer
In many information networks, data items – such as updates in social networks, news flowing through interconnected RSS feeds and blogs, measurements in sensor networks, route u...
187
click to vote
CORR
2012
Springer
14 years 6 days ago
2012
Springer
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...
167
click to vote
VMCAI
2012
Springer
14 years 1 days ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...