Buscar
Mostrando ítems 1-10 de 396
A reference model as automated process for software adaptation at runtime
(Ieee-inst Electrical Electronics Engineers Inc, 2015-01-01)
The development of self-adaptive software (SaS) has specific characteristics compared to traditional one, since it allows that changes to be incorporated at runtime. Automated processes have been used as a feasible solution ...
Models@runtime and internet of things: a systematic literature review
(IEEE, 2021)
Internet of Things (IoT) systems are characterized by being highly heterogeneous, distributed, and scalable, made up of a variety of devices that operate in uncertain and ubiquitous settings. In this sense, models@runtime ...
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...
A reference model as automated process for software adaptation at runtime
(IEEEPiscataway, NJ, 2015-02)
The development of self-adaptive software (SaS)
has specific characteristics compared to traditional one, since it
allows that changes to be incorporated at runtime. Automated
processes have been used as a feasible ...
A reference model as automated process for software adaptation at runtime
(Ieee-inst Electrical Electronics Engineers Inc, 2015)
Run-time environment for the SARL agent-programming language: The example of the Janus platform
(Elsevier Science, 2017-10)
SARL is a general-purpose agent-oriented programming language. This language aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy ...
Weakest precondition reasoning for expected runtimes of randomized algorithms
(Association for Computing Machinery, 2018)
This article presents a wp–style calculus for obtaining bounds on the expected runtime of randomized algorithms. Its application includes determining the (possibly infinite) expected termination time of a randomized
algorithm ...
Empirical evaluation of a method for monitoring cloud services based on models at runtime
(2021)
Cloud computing is being adopted by commercial and governmental organizations driven by
the need to reduce the operational cost of their information technology resources and search for a scalable
and flexible way to provide ...
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
Adaptive resource allocation with job runtime uncertainty
(2017-10)
In this paper, we address the problem of dynamic resource allocation in presence of job run- time uncertainty. We develop an execution delay model for runtime prediction, and design an adaptive
stochastic allocation ...