Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Michael W. Shields"'
Publikováno v:
Electronic Notes in Theoretical Computer Science. 203:3-22
We describe a translation of scenarios given in UML 2.0 sequence diagrams into a tuples-based behavioural model that considers multiple access points for a participating instance and exhibits true-concurrency. This is important in a component setting
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e96d14e8b46df9de583d9371f9e3ef1
https://doi.org/10.1016/j.entcs.2009.03.023
https://doi.org/10.1016/j.entcs.2009.03.023
Publikováno v:
Electronic Notes in Theoretical Computer Science. 141:199-220
The effective (re)use of components requires languages for the precise description of observable behaviour, along with methods for checking the compatibility of component interfaces in a design. This is even more challenging in the presence of concur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb10ee07337feba9da751e8d919e8ba8
https://doi.org/10.1016/j.entcs.2005.04.035
https://doi.org/10.1016/j.entcs.2005.04.035
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When
Autor:
Michael W. Shields, David H. Pitt
Publikováno v:
Formal Aspects of Computing. 11:567-590
In this paper, we investigate the structure of the asynchronous behaviour of systems of cyclical, deterministic sequential processes. Specifically, we find conditions which, under certain finiteness assumptions, characterise periodic behaviours and p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce11f4c83a8efcc3503ff9f391c02ca1
https://doi.org/10.1007/s001650050058
https://doi.org/10.1007/s001650050058
Autor:
Michael W. Shields
Publikováno v:
Fundamenta Informaticae. 40:285-316
In this paper, we consider two formal semantics for path programs. The first is a version of the net semantics introduced in [8] and further described in [7], and the second is an extension of the vector semantics of [15]. The extension involves the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::489c45771c7cf9034edb168b146c2e3a
https://doi.org/10.3233/fi-1999-402308
https://doi.org/10.3233/fi-1999-402308
Autor:
Michael W. Shields
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for
Publikováno v:
Proceedings of the Annual International Conference on Advances in Distributed and Parallel Computing ADPC 2010 ADPC 2010.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d42b1ef5d4443245e1e81bdc6b39cef4
https://doi.org/10.5176/978-981-08-7654-8_r-43
https://doi.org/10.5176/978-981-08-7654-8_r-43
Publikováno v:
Proceedings of the Annual International Conference on Advances in Distributed and Parallel Computing ADPC 2010 ADPC 2010.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6906ac937d6798325cbf7146131b7c2
https://doi.org/10.5176/978-981-08-7654-8_r-42
https://doi.org/10.5176/978-981-08-7654-8_r-42
Autor:
Michael W. Shields
Publikováno v:
Formal Aspects of Computing. 4:649-672
In this paper, we consider a generalisation of a result due to the author which describes the way in which Mazurkiewicz trace languages serve to represent systems of labelled partial orders, as used in non-interleaving semantics of parallelism. The g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21cdbc7860baad3459d734f1b1c1a07b
https://doi.org/10.1007/bf03180567
https://doi.org/10.1007/bf03180567
Autor:
Michael W. Shields, Matthew Casey
Multiple neural network systems have become popular techniques for tackling complex tasks, often giving improved performance compared to single network systems. For example, modular systems can provide improvements in generalisation through task deco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dbbf9d5c71b0450d6d5fe2d01b743e2
https://surrey.eprints-hosting.org/500/
https://surrey.eprints-hosting.org/500/