Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

Autor: Amini, Sabor

As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their c

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-512396

Study on the Key Technologies of Mobile Application Development

Autor: Yingqi Wei, Weiping Lin, Shaolong Yang

Publikováno v: Dianxin kexue, Vol 29, Pp 11-18 (2013)

With the widespread of 3G smartphone，mobilephone acts not only as communication tool，but also as life partners. As assistants，mobile applications make life very different. In terms of application characteristics， development model and busines

Externí odkaz: https://doaj.org/article/4350abe0a630466bac1bf72100c5daf1

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Two-level clustering fast betweenness centrality computation for requirement-driven approximation

Autor: Angelo Furno, N. E. El Faouzi, Eugenio Zimeo, Rajesh Sharma

Publikováno v: IEEE BigData
BIGDATA 2017 IEEE International Conference on Big Data
BIGDATA 2017 IEEE International Conference on Big Data, Dec 2017, Boston, United States. pp.1289-1294, ⟨10.1109/BigData.2017.8258057⟩

BIGDATA 2017 IEEE International Conference on Big Data, Boston, ETATS-UNIS, 11-/12/2017 - 14/12/2017; Betweenness centrality is a metric widely used in several domains (social, biological, transportation, computer) to identify critical nodes of netwo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6ac0820b040c38cc5b5a5d14611ea12
https://doi.org/10.1109/bigdata.2017.8258057

Fresh food packaging design: A requirement driven approach applied to strawberries and agro-based materials

Autor: Aurore Méry, Carole Guillaume, Pascale Chalier, Nathalie Gontard, Thibaut Cagnon

Publikováno v: Innovative Food Science and Emerging Technologies
Innovative Food Science and Emerging Technologies, Elsevier, 2013, 20, pp.288-298. ⟨10.1016/j.ifset.2013.05.009⟩

International audience; To overcome the limitations of current trial and error approaches used to design food packaging, a requirement driven approach was adapted from the software and service industries to the field of fresh fruits and vegetable pac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::354214f46fc533d5ddb9671038ebaab8
https://hal.inrae.fr/hal-02648373