Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Joakim Bjørk"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012)
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applicat
Externí odkaz:
https://doaj.org/article/cd36f873e136444da5ca7fa67382bf1c
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 67-81 (2010)
Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic. The operational semantics y
Externí odkaz:
https://doaj.org/article/f089872e5fbb4b19b3ac18ea30696c0e
Services are autonomous, self-describing, technology-neutral software units that can be published, discovered, queried, and composed into software applications at runtime. Designing and composing software services to form applications or composite se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::203ef1b3620e4c85a569e7206caf2d20
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-274432
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-274432
Publikováno v:
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, 9(1), 29-43
Innovations in Systems and Software Engineering, 9(1), 29-43
Scheduling concerns the allocation of processors to processes, and is traditionally associated with low-level tasks in operating systems and embedded devices. However, modern software applications with soft real-time requirements need to control appl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3da1f0963a1212d036b75a51b594f9d5
https://doi.org/10.1007/s11334-012-0184-5
https://doi.org/10.1007/s11334-012-0184-5
Publikováno v:
FOCLASA
Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012)
Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012)
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applicat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fb832986c401ac03a4e29a2399a7e94
http://arxiv.org/abs/1208.4630
http://arxiv.org/abs/1208.4630
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783540921875
FMCO
FMCO
Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consist of subnets with different quality: Some components are tightly connected with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4dbed1f064f84593674e6120ab1b5ef7
https://doi.org/10.1007/978-3-540-92188-2_11
https://doi.org/10.1007/978-3-540-92188-2_11