Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Guidelines and patterns for building hierarchical automation solutions in the IEC 61499 modeling language
The IEC 61499 modeling language pursues a component-based approach with modular
building blocks coupled by ports and arranged in a hierarchical manner. Like similar …
building blocks coupled by ports and arranged in a hierarchical manner. Like similar …
On inter-realm authentication in large distributed systems
VD Gligor, SW Luan, JN Pato - Journal of Computer Security, 1993 - journals.sagepub.com
We define and rationalize a policy for propagation of authentication trust across realm
boundaries. This policy helps limit global security exposures that ensue whenever an …
boundaries. This policy helps limit global security exposures that ensue whenever an …
Towards user-oriented programming of skill-based automation systems using a domain-specific meta-modeling approach
Upcoming trends in manufacturing focus on flexible configuration of products up to lot-size
one. This mass customization raises a need of flexible manufacturing and production …
one. This mass customization raises a need of flexible manufacturing and production …
Design patterns for separating fault handling from control code in discrete manufacturing systems
The objective of this paper is to propose a methodology for strictly separating fault detection
and fault handling methods from control code in discrete manufacturing systems. In order to …
and fault handling methods from control code in discrete manufacturing systems. In order to …
Monaco—A domain-specific language solution for reactive process control programming with hierarchical components
In this paper, we present Monaco–a domain-specific language for develo** event-based,
reactive process control programs–and its visual interactive programming environment. The …
reactive process control programs–and its visual interactive programming environment. The …
Building hierarchical automation solutions in the IEC 61499 modeling language
The IEC 61499 modeling language pursues a component-based approach with modular
building blocks coupled by ports and arranged in a hierarchical manner. However, as in …
building blocks coupled by ports and arranged in a hierarchical manner. However, as in …
[ΒΙΒΛΙΟ][B] Software engineering–processes and tools
Software engineering traditionally plays an important role among the different research
directions located in the Software Park Hagenberg, as it provides the fundamental concepts …
directions located in the Software Park Hagenberg, as it provides the fundamental concepts …
MONACO—A domain-specific language supporting hierarchical abstraction and verification of reactive control programs
H Prähofer, D Hurnaus - 2010 8th IEEE International …, 2010 - ieeexplore.ieee.org
Domain-specific languages aim to present software in the notations of domain experts and
allow a straightforward map** of application concepts to software solutions. In this paper …
allow a straightforward map** of application concepts to software solutions. In this paper …
Software support for building end-user programming environments in the automation domain
Projects in the automation domain often require that end users, who are the machine
operators, have means to change control software to make adaptations and optimizations for …
operators, have means to change control software to make adaptations and optimizations for …
Programming assistance based on contracts and modular verification in the automation domain
D Hurnaus, H Prähofer - Proceedings of the 2010 ACM Symposium on …, 2010 - dl.acm.org
In industrial automation, control software often has to get changed and adapted by domain
experts and end users who have no or only limited software development expertise. This …
experts and end users who have no or only limited software development expertise. This …