7,720 research outputs found
Paradeduction in Axiomatic Formal Systems
The concept of paradeduction is presented in order to justify that we can
overlook contradictory information taking into account only what is consistent.
Besides that, paradeduction is used to show that there is a way to transform
any logic, introduced as an axiomatic formal system, into a paraconsistent one
Observation of the dielectric-waveguide mode of light propagation in p-n junctions
Theoretical considerations of the propagation of electromagnetic energy near a p-n junction (1) show that the “sandwich” formed by having a depletion layer bounded by the p and n regions can act as a dielectric waveguide. (1,2
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
We present AIOCJ, a framework for programming distributed adaptive
applications. Applications are programmed using AIOC, a choreographic language
suited for expressing patterns of interaction from a global point of view. AIOC
allows the programmer to specify which parts of the application can be adapted.
Adaptation takes place at runtime by means of rules, which can change during
the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a
solid theory that ensures applications to be deadlock-free by construction also
after adaptation. We describe the architecture of AIOCJ, the design of the AIOC
language, and an empirical validation of the framework.Comment: Technical Repor
- …