Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Gian Perrone"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 87, Iss Proc. FIT 2012, Pp 48-55 (2012)
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must ev
Externí odkaz:
https://doaj.org/article/22193278b0394afd9d55b01842da5bf6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 20-36 (2011)
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that t
Externí odkaz:
https://doaj.org/article/d5841239fc1b405881e921f3ab906be7
Autor:
Jack Coughlin, Gian Perrone
Publikováno v:
BDIOT
We present a novel system for the detection of anomalies in streaming timeseries data, particularly that found in server and application monitoring, as well as "Internet of Things" (IoT) sensor monitoring and applications. By using the Discrete Wavel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46fc442591286c7c99df040456b1e4b1
https://doi.org/10.1145/3175684.3175722
https://doi.org/10.1145/3175684.3175722
Publikováno v:
Innovations in Systems and Software Engineering. 9:95-104
We present the BigMC tool for bigraphical reactive systems that may be instantiated as a verification tool for any formalism or domain-specific modelling language encoded as a bigraphical reactive system. We introduce the syntax and use of BigMC, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b45dbca50438fbbbfd90557770edb531
https://doi.org/10.1007/s11334-013-0210-2
https://doi.org/10.1007/s11334-013-0210-2
Publikováno v:
SAC
We present a model checking tool for Bigraphical Reactive Systems that may be instantiated as a model checker for any formalism or domain-specific modelling language encoded as a Bigraphical Reactive System. We describe the implementation of the tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f0a0ae770274ed88b7e0f186efc0926
https://doi.org/10.1145/2245276.2231985
https://doi.org/10.1145/2245276.2231985
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 87, Iss Proc. FIT 2012, Pp 48-55 (2012)
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must ev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::634ff237935f9e6054985ff6b7bb7635
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 20-36 (2011)
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::095de7dd7e64884ebf6195e1dafa961c