Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Heemstra de Groot, Sonia M."'
Publikováno v:
In Computer Networks 2011 55(7):1533-1548
Autor:
Sarijari, Mohd Adib, Lo, Anthony, Abdullah, Mohd Sharil, Heemstra de Groot, Sonia M., Niemegeers, Ignas G.M.M., Rashid, Rozeha A.
Publikováno v:
Proceedings-2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, 576-581
STARTPAGE=576;ENDPAGE=581;TITLE=Proceedings-2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013
STARTPAGE=576;ENDPAGE=581;TITLE=Proceedings-2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013
In a home environment, a Smart Grid Home Area Network (SG-HAN) platform facilitates collection and delivery of power consumption information for load profiling and informed decisions on energy management. However, one of the main challenges in HAN is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f344fd130c86fc810262bf99bb70b744
https://doi.org/10.1109/icpads.2013.103
https://doi.org/10.1109/icpads.2013.103
Autor:
Oláh, András L., Heemstra de Groot, Sonia M., von Bochmann, Gregor, Dssouli, Rachida, Rafiq, Omar
Publikováno v:
Formal Description Techniques VIII (FORTE '95): Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, 401-416
STARTPAGE=401;ENDPAGE=416;TITLE=Formal Description Techniques VIII (FORTE '95)
Formal Description Techniques VIII ISBN: 9781504129589
FORTE
STARTPAGE=401;ENDPAGE=416;TITLE=Formal Description Techniques VIII (FORTE '95)
Formal Description Techniques VIII ISBN: 9781504129589
FORTE
This paper deals with the verification of a connection management protocol which uses timestamps and network-wide synchronized clocks for the reliable opening and closing of connections. We prove the correctness of the protocol over an unreliable, bo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::930762829d7932351813b5db376b1a0c
https://research.utwente.nl/en/publications/assertional-verification-of-a-connection-management-protocol(8d87b37f-213c-4f1a-8140-211ccc5c05b9).html
https://research.utwente.nl/en/publications/assertional-verification-of-a-connection-management-protocol(8d87b37f-213c-4f1a-8140-211ccc5c05b9).html
Publikováno v:
2007 Third International Conference on Security & Privacy in Communications Networks & the Workshops - SecureComm 2007; 2007, p320-329, 10p
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.