Buscar
Mostrando ítems 21-30 de 396
A transactional runtime system for the Cell/BE architecture
(Academic Press Inc. Elsevier B.V., 2012-12-01)
Single-core architectures have hit the end of the road and industry and academia are currently exploiting new multicore design alternatives. In special, heterogeneous multicore architectures have attracted a lot of attention ...
A framework for monitoring and runtime recovery of web service-based applications
(Insticc-inst Syst Technologies Information Control & Communication, 2008-01-01)
Service provisioning is a challenging research area for the design and implementation of autonomic service-oriented software systems. It includes automated QoS management for such systems and their applications. Monitoring, ...
An architecture based on computing with words to support runtime reconfiguration decisions of service-based systems
(2018)
Service-based systems (SBSs) need to be reconfigured when there is evidence that the selected Web services configurations no further satisfy the specifications models and, thus the decision-related models will need to be ...
JCML: A specification language for the runtime verification of Java Card programs
(Elsevier, 2010-03-19)
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 ...
Run-Time Assertion Checking with Énfasis
(Revista Computación y Sistemas; Vol. 13 No.3, 2010-02-18)
Abstract. Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time ...
A reference model as automated process for software adaptation at runtime
(IEEEPiscataway, NJ, 2015)
Dependability verification for contextual/runtime goal modelling
(2015-05-14)
Um contexto de operação estático não é a realidade para muitos sistemas de software atualmente. Variações de contextos impõe novos desafios ao desenvolvimento de sistemas seguros, o que inclui a ativação de falhas apenas ...