Results 211 to 220 of about 47,821 (265)

Automated and High-Throughput Phase Separation Control for Supramolecular Polymer Blends Enabled by Machine Learning. [PDF]

open access: yesJACS Au
Wang Y   +11 more
europepmc   +1 more source

Modular refinement and model building

1997
In this paper we show that formal program development can be viewed as a process of model building. Refinement diagrams are introduced and formally defined in terms of refinement developments. Hierarchical models are shown to be equivalent to modular refinement developments.
Martin de Groot, Ken Robinson
openaire   +1 more source

Incremental concurrent builds for modular systems

Journal of Systems and Software, 1990
This paper describes a system for controlling build operations for modular programs in a distributed environment. Our build system performs complete type-checking across module boundaries, verifies user-defined constraints between a system's components, and minimizes the recompilations required when new module versions are incorporated in a rebuild ...
Ray Ford, Mary Pfreundschuh Wagner
openaire   +1 more source

Building a modular YAWL engine with Cumbia

International Journal of Business Process Integration and Management, 2012
Nowadays, novel strategies to develop and adapt workflow engines in efficient ways are required in order to have BPM and workflow solutions with the capacity to support frequent changes in the corporate environment. One key strategy is to build new engines by reusing as much as possible from existing components. This requires two things.
Mario E. Sánchez   +2 more
openaire   +1 more source

Building a modular service oriented workflow engine

2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2009
Current workflow engines, often based on WS-BPEL, are monolithic programs to orchestrate a business process or take part in choreography between partners. They cover aspects like the execution of the workflow description derived from the business process, the communication with external services, and the handling of errors. Both, the communication with
Gerhard Stuermer   +2 more
openaire   +2 more sources

A Modular Approach to Build Workflow Engines

2012
To provide BPM and workflow solutions with the dynamism to support frequent changes in the corporate environment, it is necessary to adopt novel strategies to efficiently develop and adapt workflow engines. One such strategy is to build new engines by reusing as much as possible from existing components.
Mario E. Sánchez   +2 more
openaire   +1 more source

Metalevel building blocks for modular systems

ACM Transactions on Programming Languages and Systems, 1994
The formal definition of any namespace device found in a programming language can be given in terms of transformations on a semantic environment. It is worthwhile, therefore, to consider the implications of incorporating environments as bona fide data objects in a programming system. In this article, we propose a treatment of environments and
openaire   +1 more source

BIM in Prefabrication and Modular Building

2018
“Prefabrication and Modular Building” and “BIM” were two major buzzwords in the industry of construction in 2017. If the Prefabrication and Modular Building refers to a revolution in building production, BIM (Building Information Modeling) [2] application will act as an important technical means to promote the revolution.
Wojciech Bonenberg, Xia Wei, Mo Zhou
openaire   +1 more source

Modular Construction in Buildings

This Chapter reviews the history, applications and different forms of modular construction that may be used in buildings and presents general guidance on their structural design, including stability and robustness. Test information is presented on the load resistance of cold formed steel C sections with boards of various types on one or both sides. The
openaire   +1 more source

Home - About - Disclaimer - Privacy