Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Run-Time Monitor"'
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.
Publikováno v:
Sensors, Vol 11, Iss 4, Pp 3595-3610 (2011)
Cloud computing is a new information technology trend that moves computing and data away from desktops and portable PCs into large data centers. The basic principle of cloud computing is to deliver applications as services over the Internet as well a
Externí odkaz:
https://doaj.org/article/9ccfd0b01742410c84e366815a2228ab
Context Unpredictability and uncertainty about future evolutions of both the system and its environment may easily compromise the behavior of the system. The subsequent software failures can have serious consequences. When dealing with open environme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecf406fa42785af5d5b7dbf56448706a
http://hdl.handle.net/11697/132488
http://hdl.handle.net/11697/132488
Publikováno v:
Sensors (Basel, Switzerland)
Sensors; Volume 11; Issue 4; Pages: 3595-3610
Sensors, Vol 11, Iss 4, Pp 3595-3610 (2011)
Sensors; Volume 11; Issue 4; Pages: 3595-3610
Sensors, Vol 11, Iss 4, Pp 3595-3610 (2011)
Cloud computing is a new information technology trend that moves computing and data away from desktops and portable PCs into large data centers. The basic principle of cloud computing is to deliver applications as services over the Internet as well a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06850f61e1cf8ad7e63e46efcadf47d3
https://doi.org/10.3390/s110403595
https://doi.org/10.3390/s110403595
Publikováno v:
The Journal of Logic and Algebraic Programming. 78:340-358
We propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature should not just certify the origin of the code but rather bind together the code with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9efae00d785b0210ed7b6724516c1411
https://doi.org/10.1016/j.jlap.2009.02.013
https://doi.org/10.1016/j.jlap.2009.02.013
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.
Publikováno v:
ERTS 2008 proceedings
Embedded Real Time Software and Systems (ERTS2008)
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Embedded Real Time Software and Systems (ERTS2008)
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
International audience; Many algorithms exist to generate real-time run-time monitors. This paper focuses on the assessment of an implementation of a real-time monitor designed to handle timed automata specification as input. The monitoring algorithm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c86fbb152dd961f0fcf44020bf039fc9
https://hal.science/hal-02269856
https://hal.science/hal-02269856
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.
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.
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.