1202 search results - page 181 / 241 » Sortings for Reactive Systems |
163
click to vote
EUROPKI
2009
Springer
15 years 2 months ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
202
click to vote
EGH
2011
Springer
14 years 4 months ago
2011
Springer
We present a highly flexible and efficient software pipeline for programmable triangle voxelization. The pipeline, entirely written in CUDA, supports both fully conservative and ...
124
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Industrial inspection robots, which are to move around a nuclear power plant and carry out inspection tasks, must follow a given route while observing static and dynamic features ...
120
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
119
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...