Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Behrooz Nobakht"'
Publikováno v:
Concurrency and Computation: Practice and Experience. 28:374-385
Cloud environments have become a standard method for enterprises to offer their applications by means of web services, data management systems, or simply renting out computing resources. In our previous work, we presented how we can use a modeling la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8b2b4004bf7bb56b792c0d8ab0b19ef
https://doi.org/10.1002/cpe.3480
https://doi.org/10.1002/cpe.3480
Publikováno v:
Science of Computer Programming, 94, 362-378
In this paper we introduce JMSeq, a Java-based tool for monitoring sequences of method calls. JMSeq provides a simple but expressive language to specify the observables of a Java program in terms of sequences of possibly nested method calls. Similar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::937115073b63fe484d58f7a588a78b23
https://doi.org/10.1016/j.scico.2013.11.030
https://doi.org/10.1016/j.scico.2013.11.030
Publikováno v:
Lecture Notes in Computer Science
5th European Conference on Service-Oriented and Cloud Computing (ESOCC)
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Service-Oriented and Cloud Computing ISBN: 9783319444819
ESOCC
5th European Conference on Service-Oriented and Cloud Computing (ESOCC)
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Service-Oriented and Cloud Computing ISBN: 9783319444819
ESOCC
Part 3: SLA-Aware Services; International audience; Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8455c8ff65e2ae3b1786591e3da291e3
https://inria.hal.science/hal-01638585/document
https://inria.hal.science/hal-01638585/document
Publikováno v:
Theory and Practice of Formal Methods-Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods-Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩
Theory and Practice of Formal Methods ISBN: 9783319307336
Theory and Practice of Formal Methods
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 211-225
STARTPAGE=211;ENDPAGE=225;TITLE=Theory and Practice of Formal Methods
Giachino, E, Gouw, S D, Laneve, C & Nobakht, B 2016, Statically and Dynamically Verifiable SLA Metrics . in E Á, M B & E B J (eds), Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday . Springer, Lecture Notes in Computer Science, vol. 9660, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9660, pp. 211-225 . https://doi.org/10.1007/978-3-319-30734-3_15
Theory and Practice of Formal Methods-Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩
Theory and Practice of Formal Methods ISBN: 9783319307336
Theory and Practice of Formal Methods
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 211-225
STARTPAGE=211;ENDPAGE=225;TITLE=Theory and Practice of Formal Methods
Giachino, E, Gouw, S D, Laneve, C & Nobakht, B 2016, Statically and Dynamically Verifiable SLA Metrics . in E Á, M B & E B J (eds), Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday . Springer, Lecture Notes in Computer Science, vol. 9660, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9660, pp. 211-225 . https://doi.org/10.1007/978-3-319-30734-3_15
International audience; There is a gap between run-time service behaviours and the contracted quality expectations with the customers that is due to the informal nature of service level agreements. We explain how to bridge the gap by formalizing serv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bf590a7d2e90843dc9630221c08e6aa
https://hal.archives-ouvertes.fr/hal-01336836/file/main.pdf
https://hal.archives-ouvertes.fr/hal-01336836/file/main.pdf
Publikováno v:
Service Oriented and Cloud Computing
[Technical Report] Inria Sophia Antipolis. 2015
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Service Oriented and Cloud Computing
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
[Technical Report] Inria Sophia Antipolis. 2015
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Service Oriented and Cloud Computing
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
In modern software systems, deployment is an integral and critical part of application development (see, e.g., the DevOps approach to software development). Nevertheless, deployment is usually overlooked at the modeling level, thus losing the possibi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab5a76e61a18f281c0d01f5a604b5b55
Publikováno v:
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
ESOCC
In this paper, we introduce a formal model of the availability, budget compliance and sustainability of istributed services, where service sustainability is a new concept which arises as the composition of service availability and budget compliance.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b888b54338a44182b7b0494e2cd862eb
https://doi.org/10.1007/978-3-319-24072-5_9
https://doi.org/10.1007/978-3-319-24072-5_9
Publikováno v:
Adaptive Resource Management and Scheduling for Cloud Computing ISBN: 9783319134635
ARMS-CC@PODC
ARMS-CC@PODC
In this paper we present an API to support modeling applications with Actors based on the paradigm of the Abstract Behavioural Specification (ABS) language. With the introduction of JAVA 8, we expose this API through a JAVA library to allow for a hig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd240eef3475627c1259c1e4182144e2
https://doi.org/10.1007/978-3-319-13464-2_8
https://doi.org/10.1007/978-3-319-13464-2_8
Autor:
Behrooz Nobakht, Frank S. de Boer
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301
ISoLA (2)
ISoLA (2)
There exist numerous languages and frameworks that support an implementation of a variety of actor-based programming models in Java using concurrency utilities and threads. Java 8 is released with fundamental new features: lambda expressions and furt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c77ac64095ff957f39a7c90ad1ebacd
https://doi.org/10.1007/978-3-662-45231-8_4
https://doi.org/10.1007/978-3-662-45231-8_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642384929
COORDINATION
COORDINATION
In this paper, we introduce a real-time actor-based programming language and provide a formal but intuitive operational semantics for it. The language supports a general mechanism for handling exceptions raised by missed deadlines and the specificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fafa0694f0f6b48bc5d104d4675900f7
https://doi.org/10.1007/978-3-642-38493-6_13
https://doi.org/10.1007/978-3-642-38493-6_13
Publikováno v:
SAC
We extend and implement a modeling language based on concurrent active objects with application-level scheduling policies. The language allows a programmer to assign priorities at the application level, for example, to method definitions and method i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0648c946226830d7cb791e491cb4df1