4693 search results - page 475 / 939 » Verifying Hybrid Systems |
168
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
234
click to vote
CSI
2004
15 years 7 months ago
2004
Standards are important to the growth and acceptance of emerging industries such as the biometric industry. To promote biometric standard, the BioAPI Consortium has developed a wi...
218
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
134
click to vote
HCI
2009
15 years 4 months ago
2009
Relaxing the contracted muscles involved in focus-adjustment around the eyeball, such as the ciliary body and extraocular muscles, is expected to improve pseudomyopia. This hypothe...
209
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
OFDM/OQAM has been considered as an attractive alternative to classic OFDM with cyclic prefix (CP) over doubly dispersive channels. By utilising well designed pulse shapes and remo...