Zobrazeno 1 - 10
of 261
pro vyhledávání: '"Watson , B.W."'
Publikováno v:
South African Journal of Science; Vol. 119 No. 5-6 (2023)
No abstract
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:
Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic, 126-142
STARTPAGE=126;ENDPAGE=142;TITLE=Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic
STARTPAGE=126;ENDPAGE=142;TITLE=Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic
Minimal acyclic deterministic finite automata (MADFAs) are used to represent dictionaries, i.e., finite sets of finite words, in, e.g., spell checkers and network security applications. Given the size of such dictionaries, which may contain millions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::688a69ba5556d5e64242605bf9dabe42
https://research.tue.nl/nl/publications/44b3c3a1-1e45-43cc-bfd4-2d3ea30caf08
https://research.tue.nl/nl/publications/44b3c3a1-1e45-43cc-bfd4-2d3ea30caf08
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, 730-748
STARTPAGE=730;ENDPAGE=748;TITLE=ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
ISoLA (1)
ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I, 730-748
STARTPAGE=730;ENDPAGE=748;TITLE=ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Correctness-by-construction (CbC), traditionally based on weakest precondition semantics, and post-hoc verification (PhV) aspire to ensure functional correctness. We argue for a lightweight approach to CbC where lack of formal rigour increases produc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdbcc5b74cf88e34335bf83d11fefa80
https://research.tue.nl/en/publications/c4069c3b-5f04-4be3-b7c6-3587bb9f705f
https://research.tue.nl/en/publications/c4069c3b-5f04-4be3-b7c6-3587bb9f705f
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.
Autor:
Schaefer, I., Seidl, Chr., Cleophas, L.G.W.A., Watson, B.W., Kapitsaki, G.M., de Almeida, E.S.
Publikováno v:
Software Reuse: Bridging with Social-Awareness
Lecture Notes in Computer Science ISBN: 9783319351216
ICSR
Software reuse: bridging with social-awareness, 63-70
STARTPAGE=63;ENDPAGE=70;TITLE=Software reuse
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Reuse: Bridging with Social-Awareness
Lecture Notes in Computer Science ISBN: 9783319351216
ICSR
Software reuse: bridging with social-awareness, 63-70
STARTPAGE=63;ENDPAGE=70;TITLE=Software reuse
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Reuse: Bridging with Social-Awareness
Modern software systems, in particular in mobile and cloud-based applications, exist in many different variants in order to adapt to changing user requirements or application contexts. Software product line engineering allows developing these softwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfb85742a36483c873daf9e47c05cdde
https://research.tue.nl/en/publications/3f2689f7-fb0a-4cac-8bfd-1fbea28288c1
https://research.tue.nl/en/publications/3f2689f7-fb0a-4cac-8bfd-1fbea28288c1
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings, 766-783
STARTPAGE=766;ENDPAGE=783;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings
STARTPAGE=766;ENDPAGE=783;TITLE=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques-7th International Symposium, ISoLA 2016, Proceedings
Correctness-by-construction (CbC) is an approach for developing algorithms inline with rigorous correctness arguments. A high-level specification is evolved into an implementation in a sequence of small, tractable refinement steps guaranteeing the re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::8b741442f292c4b0dfbddc4e98aea9e9
https://research.tue.nl/nl/publications/68367dbe-2826-474e-929c-0ecfb003b5b3
https://research.tue.nl/nl/publications/68367dbe-2826-474e-929c-0ecfb003b5b3
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:
Proceedings of the Prague Stringology Conference 2015, Prague, Czech Republic, August 24-26, 2015, 104-117
STARTPAGE=104;ENDPAGE=117;TITLE=Proceedings of the Prague Stringology Conference 2015, Prague, Czech Republic, August 24-26, 2015
STARTPAGE=104;ENDPAGE=117;TITLE=Proceedings of the Prague Stringology Conference 2015, Prague, Czech Republic, August 24-26, 2015
Quantum leap matching is introduced as a generic pattern matching strategy for the single keyword exact pattern matching problem, that can be used on top of existing Boyer-Moore-style string matching algorithms. The cost of the technique is minimal:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::d11994a9b06da04cf4e94682baa2f89d
https://research.tue.nl/nl/publications/aa4ba38a-5a8b-405f-832f-da27ed69a8a9
https://research.tue.nl/nl/publications/aa4ba38a-5a8b-405f-832f-da27ed69a8a9