17,701 research outputs found
Comprehensive Monitor-Oriented Compensation Programming
Compensation programming is typically used in the programming of web service
compositions whose correct implementation is crucial due to their handling of
security-critical activities such as financial transactions. While traditional
exception handling depends on the state of the system at the moment of failure,
compensation programming is significantly more challenging and dynamic because
it is dependent on the runtime execution flow - with the history of behaviour
of the system at the moment of failure affecting how to apply compensation. To
address this dynamic element, we propose the use of runtime monitors to
facilitate compensation programming, with monitors enabling the modeller to be
able to implicitly reason in terms of the runtime control flow, thus separating
the concerns of system building and compensation modelling. Our approach is
instantiated into an architecture and shown to be applicable to a case study.Comment: In Proceedings FESCA 2014, arXiv:1404.043
Device-Centric Monitoring for Mobile Device Management
The ubiquity of computing devices has led to an increased need to ensure not
only that the applications deployed on them are correct with respect to their
specifications, but also that the devices are used in an appropriate manner,
especially in situations where the device is provided by a party other than the
actual user. Much work which has been done on runtime verification for mobile
devices and operating systems is mostly application-centric, resulting in
global, device-centric properties (e.g. the user may not send more than 100
messages per day across all applications) being difficult or impossible to
verify. In this paper we present a device-centric approach to runtime verify
the device behaviour against a device policy with the different applications
acting as independent components contributing to the overall behaviour of the
device. We also present an implementation for Android devices, and evaluate it
on a number of device-centric policies, reporting the empirical results
obtained.Comment: In Proceedings FESCA 2016, arXiv:1603.0837
Further properties of the Bergman spaces of slice regular functions
In this paper we continue the study of Bergman theory for the class of slice
regular functions.
In the slice regular setting there are two possibilities to introduce the
Bergman spaces, that are called of the first and of the second kind. In this
paper we mainly consider the Bergman theory of the second kind, by providing an
explicit description of the Bergman kernel in the case of the unit ball and of
the half space. In the case of the unit ball, we study the Bergman-Sce
transform. We also show that the two Bergman theories can be compared only if
suitable weights are taken into account. Finally, we use the Schwarz reflection
principle to relate the Bergman kernel with its values on a complex half plane.Comment: to appear in Advances in Geometr
Carlhintzeite, Ca2AlF7•H2O, from the Gigante granitic pegmatite, Córdoba province, Argentina: Description and crystal structure
Carlhintzeite, Ca2AlF7•H2O, has been found at the Gigante pegmatite, Punilla Department, Córdoba Province, Argentina. It occurs as colourless prismatic crystals up to 0.8 mm long, ubiquitously twinned on {001}. Electron microprobe analyses provided the empirical formula Ca1.98Al1.02F6.24(OH) 0.76•H1.62O. A crystal fragment used for the collection of structure data provided the triclinic, C1 cell: a = 9.4227(4), b = 6.9670(5), c = 9.2671(7) Ã…, α = 90.974(6), β = 104.802(5), γ = 90.026(6)°, V = 558.08(7) Ã…3 and Z = 4. The crystal structure, solved by direct methods and refined to R 1 = 0.0322 for 723 Fo > 4σF reflections, is made up of linkages of AlF6 octahedra, CaF8 polyhedra and CaF 6(H2O)2 polyhedra. The AlF6 octahedra are isolated from one another, but share polyhedral elements with Ca polyhedra. Most notably, the Al1 octahedron shares trans faces with two CaF 8 polyhedra and the Al2 octahedron shares trans edges with two CaF6(H2O)2 polyhedra. The linkage of the Ca polyhedra alone can be described as a framework in which edge-sharing chains along b are cross-linked by edge-sharing. Edge-sharing chains of Ca polyhedra along b in the carlhintzeite structure are similar to those along c in the structures of gearksutite, CaAlF4(OH)•(H2O), and prosopite, CaAl2F4(OH)4. © 2010 Mineralogical Society.Fil: Kampf, A. R.. Natural History Museum of Los Angeles County; Estados UnidosFil: Colombo, Fernando. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Centro CientÃfico Tecnológico Conicet - Córdoba. Centro de Investigaciones en Ciencias de la Tierra. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas FÃsicas y Naturales. Centro de Investigaciones en Ciencias de la Tierra; ArgentinaFil: González Del Tánago, J.. Universidad Complutense de Madrid; Españ
Extensible Technology-Agnostic Runtime Verification
With numerous specialised technologies available to industry, it has become
increasingly frequent for computer systems to be composed of heterogeneous
components built over, and using, different technologies and languages. While
this enables developers to use the appropriate technologies for specific
contexts, it becomes more challenging to ensure the correctness of the overall
system. In this paper we propose a framework to enable extensible technology
agnostic runtime verification and we present an extension of polyLarva, a
runtime-verification tool able to handle the monitoring of
heterogeneous-component systems. The approach is then applied to a case study
of a component-based artefact using different technologies, namely C and Java.Comment: In Proceedings FESCA 2013, arXiv:1302.478
- …