A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Controlling Modelling Artifacts
2011
2011 Eighth International Conference on Quantitative Evaluation of SysTems
Preserved Fulltext
In particular, we investigate the accuracy of a recently proposed high-level model of LMAC, and identify some modelling artifacts in the model. ...
In this paper, we propose a novel methodology to reason about modelling artifacts, given a detailed model and a highlevel (more abstract) model of the same system. ...
Using this knowledge, we can improve the high-level model, and therefore control the modelling artifacts within it.
VI. ...
doi:10.1109/qest.2011.32
dblp:conf/qest/SmithNN11
fatcat:alnngnk56bfyjiigh7xknzvage
Deriving role engineering artifacts from business processes and scenario models
2011
Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
These tasks include the derivation of candidate RBAC artifacts from business processes and scenario models. ...
In this paper, we present an approach to automatically derive role engineering artifacts from process and scenario models. ...
Rinderle-Ma: Deriving Role Engineering Artifacts from Business Processes and Scenario Models, In: Proc. of the 16th ACM Symposium on Access Control Models and Technologies (SACMAT), Innsbruck, Austria, ...
doi:10.1145/1998441.1998445
dblp:conf/sacmat/BaumgrassSR11
fatcat:sgfdd2zli5ey5iy3l7hz6yfb6u
Application of Filtering Methods for Removal of Resuscitation Artifacts from Human ECG Signals
[chapter]
2012
System Identification, Environmental Modelling, and Control System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Band-pass, Kalman, and adaptive filters are used for removal of resuscitation artifacts from human ECG signals. ...
A database of separately recorded human ECG and animal resuscitation artifact signals is used for evaluation of the methods. ...
Left: naive model based method for artifact removal. The initial conditions of the model M are set to zero. Right: method for artifact removal based on the Kalman filter F for M. ...
doi:10.1007/978-0-85729-974-1_14
fatcat:5suyuhrf3fbhzd4vhothgziaua
Reasoning on the usage control security policies over data artifact business process models
2021
Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
To do so, we transform the original models, including security policies, into the BAUML framework (an artifact-centric approach to business process modelling). ...
the business process model. ...
In [51] , an extension of artifact-centric process models based on the Usage Control Model introduces mechanisms to specify security policies and verify their correctness. ...
doi:10.2298/csis210217061e
fatcat:smo5ijubovbqdgdg327mm7sx4a
A Model for Representing Artifacts Based on the Modality of Operations and States
操作と状態の様相性に着目した人工物表現モデルの提案
2001
Transactions of the Society of Instrument and Control Engineers
操作と状態の様相性に着目した人工物表現モデルの提案
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An Artifact Model with Structure of Operations and Its Application to Universal Design
操作構造に注目した人工物モデルとユニバーサルデザインへの応用
2002
Transactions of the Society of Instrument and Control Engineers
操作構造に注目した人工物モデルとユニバーサルデザインへの応用
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Katai: Safety Modality Analysis of Artifacts by Teleological/Causal/ Interactional Modeling via Petri Nets and Modal Logic, Proc. of Asia Pacific Symposium on Safety 2001, 2, 249/252 ...
doi:10.9746/sicetr1965.38.1008
fatcat:w62m3jzrnjgk3ira7bw7rfmccm
An Ontological Analysis of Modeling of Artifacts Considering Interactions with Human Operators
操作者とのインタラクションを考慮した人工物モデリングに関するオントロジカルな考察
2002
Transactions of the Society of Instrument and Control Engineers
操作者とのインタラクションを考慮した人工物モデリングに関するオントロジカルな考察
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
systems (1996) Table 2 2 Modal
operators
for the •gfuture•h
Table 3 3 Oriented Hierarchical Modeling of Artifacts from Teleological, Causal and Temporal Aspects, Proc. of the 5th International ...
Horiuchi: Hierarchical Modeling of Artifacts Based on Interaction with Human and Environment, Proc. of the 4th International Conference on Engineering Design and Automation, CD-ROM An example
of top ontology ...
doi:10.9746/sicetr1965.38.210
fatcat:b7etphxi6bfa5mcy57aangzviy
大規模人工物運転支援における人間中心設計(「人間を内部に含んだ系のモデリングと設計特集号」)
Human-Centered Design of Operation Support System for Management of Large-Scale Artifacts(Modeling and Design of Human-in-the-Loop Systems)
2001
Systems, Control and Information
Human-Centered Design of Operation Support System for Management of Large-Scale Artifacts(Modeling and Design of Human-in-the-Loop Systems)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
nstein ： Quantitative assessment of inforrna −tion lc − ad on control room operator in emergency situ− ationSI Proc ． ...
ー タ まか せ の 自動 化 は 実 現 で き ず 人 間 に よ る 判 断 や 操 作 が 避 け ら れ な い こ と を 考 え れ ば ，安全 上 は ハ ー ド ウ エ ア に 加 え て ソ ＊ 東 北 大 学 大 学 院 工 学研 究科 Key i物 曲 ： operation supPort system ， user − cen 七ered design ， user modeling ...
doi:10.11509/isciesci.45.11_630
fatcat:adytsjdocvapnovppl76rhv56q
Incorporating human visual model and spatial sampling in banding artifact reduction
2004
Proceedings of the 2004 American Control Conference
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we will summarize the work to incorporated human visual model into control system design and point out one aspect of the human visual system model that will need to be addressed. ...
Halftone banding, which affects the uniformity of xerographic images, is a well-known artifact for xerography, which appears as periodic light and dark bands across a printed page perpendicular to the ...
HUMAN VISUAL MODEL FOR BANDING ANALYSIS Before any approach is developed to reduce banding artifact, method to quantitatively measure perceived banding needs to be developed. ...
doi:10.23919/acc.2004.1383863
fatcat:ydlvxtyjnzgundxqnivm73vata
AI for in-line vehicle sequence controlling: development and evaluation of an adaptive machine learning artifact to predict sequence deviations in a mixed-model production line
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
mixed-model assembly lines. ...
This includes all the necessary steps to design, implement, and assess an AI artifact, as well as data gathering, preprocessing, algorithm selection, and evaluation. ...
The online learning module is integrated with our AI artifact and maintains the recency of the SML classification model. The architecture of the artifact is indicated in Fig. 3 . ...
doi:10.5445/ir/1000136184
fatcat:j36cscz7pjdr7cshwalr64ylfm
A Framework for Realizing Artifact-Centric Business Processes in Service-Oriented Architecture
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Recently, there exist proposals to achieve such realization by converting from artifact-centric model to activity-centric model that can be implemented on existing workflow management systems. ...
Over the past few years, the artifact-centric approach to workflow modeling has been beneficially evidenced for both academic and industrial researches. ...
An artifact model doesn't have any explicit control flows as in the traditional process model so this is not an easy task for the process modeler. ...
doi:10.1007/978-3-642-29038-1_7
fatcat:j5tozn3dardzda5izj3tjzceb4
A Workflow Execution Platform for Collaborative Artifact-Centric Business Processes
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To execute an artifact-centric process model, current workflow execution approaches require it to be converted to some existing executable language (e.g., BPEL) in order to run on a workflow system. ...
without performing model conversion. ...
artifact-centric models in a distributed environment. ...
doi:10.1007/978-3-662-45550-0_65
fatcat:swyi6eklnbdyxbk27jhdsjmwz4
Compliance by design for artifact-centric business processes
2013
Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically. ...
Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design. ...
This coordination can be seen as a controller synthesis problem [22] : given an artifact A, we are interested in a controller C (in fact, also modeled as an artifact) such that their interplay is weakly ...
doi:10.1016/j.is.2012.07.003
fatcat:4b2dwkra7vbs3c327vu33g6kgy
Compliance by Design for Artifact-Centric Business Processes
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically. ...
Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design. ...
This coordination can be seen as a controller synthesis problem [22] : given an artifact A, we are interested in a controller C (in fact, also modeled as an artifact) such that their interplay is weakly ...
doi:10.1007/978-3-642-23059-2_11
fatcat:72ku3rstpzd73fm7uaz7lwyqti
Artifact-Centric Choreographies
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (interaction models). ...
The next section briefly describes how artifacts can be modeled with Petri nets. Section 3 introduces location-aware extensions and their impact to artifact models. ...
[17] study the interplay between control flow models and object life cycles. ...
doi:10.1007/978-3-642-17358-5_3
fatcat:p7frplrd6fcazp6v7p3i6utp5q
« Previous
Showing results 1 — 15 out of 520,261 results