We argue that the software user, the developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear how software should adapt itself to changing requirements and changing context. We present Chisel, an open framework for dynamic adaptation of services using reflection in a policy-driven, context-aware manner. The system is based on decomposing the pa...

Aim. To study the effect of long-term use primary soil treatment and fertilization systems on yield white mustard. The results research impact basic fertilizer economic efficiency mustard production in Forest-Steppe zone Ukraine are presented order to identify most effective, adapted natural climatic conditions recent years. Methods. was conducted during 2018–2021 a stationary two-factor field ...

Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for this task. It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet this challenge. CRESS supports straightforward graphical descriptions of composite web services. Sa...

The approaching end of traditional MOSFET technology scaling creates the need to identify novel devices, manufacturing technologies, memories, and architectures to preserve digital computing performance scaling. To this end, we argue for the need to generate circuit-level models and integrate them into existing simulation and digital design infrastructure for rapid architectural design explorat...

GPS technology has revolutionized the way we localize and navigate outdoors. However, poor reception of signals in buildings makes it unsuitable for indoor localization. WiFi fingerprinting-based localization is one most promising ways to meet this demand. Unfortunately, work domain fails resolve challenges associated with deployability on resource-limited embedded devices. In work, propose a c...

Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic). It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample CRESS descriptions ...

In 1949, Andre Weil published striking conjectures linking number theory to topology and a striking strategy for a proof [Weil, 1949]. Around 1953, Jean-Pierre Serre took on the project and soon recruited Alexander Grothendieck. Serre created aseries of concise elegant tools which Grothendieck and coworkers simplified into thousands of pages of category theory. Some have complained of this styl...