Zobrazeno 1 - 10
of 40
pro vyhledávání: '"B. Spanfelner"'
Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such ap
Autor:
B. Spanfelner, W. Sitou
Publikováno v:
COMPSAC (2)
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their expectations. Firstly, this is due to poorly conceived development tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae880b6426a9efec7c0e500cecde459a
https://doi.org/10.1109/compsac.2007.223
https://doi.org/10.1109/compsac.2007.223
Publikováno v:
SAINT Workshops
While by now feasible solutions to protect privacy for complex ubiquitous applications are available, very small devices, called context transponders (CTP) still lack resources to run sophisticated full scale approaches like DRM and strong encryption
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9239a08615dacf1ed03488b1cc350962
https://doi.org/10.1109/saint-w.2007.86
https://doi.org/10.1109/saint-w.2007.86
Publikováno v:
PIMRC
It is clear that the reconfiguration of mobile SDR terminals requires complex interactions between the mobile terminal and the network or application server entities. To enable mobile devices to utilize different radio access technologies and communi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61e6daaab976104cd212cb41b847ffb2
https://doi.org/10.1109/pimrc.2005.1651782
https://doi.org/10.1109/pimrc.2005.1651782
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Leroy, Xavier
Publikováno v:
Logics and languages for reliability and security, J. Esparza and B. Spanfelner and O. Grumberg (Ed.) (2010) 195-224
The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic
Externí odkaz:
http://arxiv.org/abs/1010.5582
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.