检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

7,932 篇 会议
715 册 图书

馆藏范围

8,645 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

7,853 篇 工学
- 7,485 篇 计算机科学与技术...
- 2,796 篇 软件工程
- 73 篇 信息与通信工程
- 68 篇 电气工程
- 59 篇 控制科学与工程
- 34 篇 机械工程
- 11 篇 建筑学
- 8 篇 土木工程
- 7 篇 环境科学与工程（可...
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 交通运输工程
2,703 篇 管理学
- 1,785 篇 工商管理
- 1,713 篇 管理科学与工程(可...
- 385 篇 图书情报与档案管...
- 86 篇 公共管理
101 篇 经济学
- 74 篇 理论经济学
- 23 篇 应用经济学
67 篇 法学
- 64 篇 社会学
67 篇 理学
- 40 篇 数学
- 17 篇 系统科学
- 7 篇 生物学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
53 篇 教育学
- 38 篇 教育学
- 15 篇 心理学(可授教育学...
46 篇 医学
- 46 篇 基础医学(可授医学...
- 13 篇 临床医学
- 8 篇 公共卫生与预防医...
- 5 篇 药学(可授医学、理...

主题

284 篇 information syst...
252 篇 computer appl. i...
234 篇 business process...
229 篇 software enginee...
224 篇 process mining
220 篇 it in business
151 篇 machine learning
137 篇 computer applica...
134 篇 enterprise archi...
129 篇 artificial intel...
128 篇 bpmn
121 篇 blockchain
107 篇 agile
91 篇 data mining
90 篇 agile software d...
88 篇 business process
87 篇 big data
84 篇 enterprise model...
83 篇 e-commerce/e-bus...
78 篇 data mining and ...

机构

64 篇 eindhoven univ t...
53 篇 univ potsdam has...
44 篇 stockholm univ d...
37 篇 univ tartu tartu...
36 篇 free univ bozen ...
34 篇 eindhoven univ t...
31 篇 univ utrecht utr...
23 篇 rhein westfal th...
22 篇 norwegian univ s...
22 篇 tu wien austria
21 篇 univ politecn va...
20 篇 univ ulm inst da...
20 篇 vienna univ econ...
20 篇 blekinge inst te...
19 篇 rhein westfal th...
19 篇 univ jyvaskyla j...
19 篇 univ innsbruck a...
19 篇 ulm univ inst da...
18 篇 vrije univ amste...
18 篇 sintef trondheim

作者

121 篇 van der aalst wi...
80 篇 sandkuhl kurt
68 篇 mendling jan
64 篇 reichert manfred
62 篇 weske mathias
42 篇 reijers hajo a.
41 篇 kirikova marite
38 篇 abrahamsson pekk...
35 篇 stirna janis
32 篇 bosch jan
30 篇 joaquim filipe
29 篇 jansen slinger
29 篇 moe nils brede
29 篇 zdravkovic jelen...
27 篇 poels geert
27 篇 witold abramowic...
26 篇 rinderle-ma stef...
26 篇 matthes florian
26 篇 bider ilia
26 篇 weber barbara

语言

8,554 篇 英文
50 篇 中文
43 篇 其他

检索条件"丛书名=Lecture Notes In Business Information Processing"

共 8647 条记录，以下是4801-4810 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Consistently Formalizing a business Process and its Properties for Verification: A Case Study 8th

引用

8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM)

作者： Rathmair, Michael Hoch, Ralph Kaindl, Hermann Popp, Roman TU Wien Inst Comp Technol Vienna Austria

ISBN: (纸本)9783319258973;9783319258966

Formal verification of business process models can be done through model checking (also known as property checking), where a model checker tool may automatically find violations of properties in a process model. This approach obviously has formal representations as a prerequisite. However, a key challenge for applying this approach in practice is to consistently formalize the process and its properties, which clearly cannot be done automatically. We studied this challenge in a case study of formally verifying an informally given business process against a guideline written like a legal text. Major lessons learned from this case study are that formalizing is key to success and that in its course a semi-formal representation of properties is useful. In the course of such a step-wise and incremental formalization, problems with the given process model have been found already, apart from those found with a model checker tool that used the formal property specification. In total, our approach revealed five problems not found by the official review. In summary, this paper investigates in a case study consistently formalizing a business process and its properties for verification through model checking.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Finding Suitable Activity Clusters for Decomposed Process Discovery 1

引用

4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA)

作者： Hompes, B. F. A. Verbeek, H. M. W. van der Aalst, W. M. P. Eindhoven Univ Technol Dept Math & Comp Sci POB 513 NL-5600 MB Eindhoven Netherlands

ISBN: (数字)9783319272436

ISBN: (纸本)9783319272436;9783319272429

Event data can be found in any information system and provide the starting point for a range of process mining techniques. The widespread availability of large amounts of event data also creates new challenges. Existing process mining techniques are often unable to handle "big event data" adequately. Decomposed process mining aims to solve this problem by decomposing the process mining problem into many smaller problems which can be solved in less time, using less resources, or even in parallel. Many decomposed process mining techniques have been proposed in literature. Analysis shows that even though the decomposition step takes a relatively small amount of time, it is of key importance in finding a high-quality process model and for the computation time required to discover the individual parts. Currently there is no way to assess the quality of a decomposition beforehand. We define three quality notions that can be used to assess a decomposition, before using it to discover a model or check conformance with. We then propose a decomposition approach that uses these notions and is able to find a high-quality decomposition in little time.

关键词： Decomposed process mining Decomposed process discovery Distributed computing Event log

来源：评论

学校读者我要写书评

暂无评论

information Technology Artifacts in the Regulatory Compliance of business Processes: A Meta-Analysis 6th

Information Technology Artifacts in the Regulatory Complianc...

引用

6th International MCETECH Conference on E-Technologies (MCETECH)

作者： Akhigbe, Okhaide Amyot, Daniel Richards, Gregory Univ Ottawa Sch Comp Sci & Elect Engn Ottawa ON Canada Univ Ottawa Telfer Sch Management Ottawa ON Canada

ISBN: (纸本)9783319179575;9783319179568

To address recent calls for better regulatory compliance of business processes (electronic or not), this study synthesizes research findings of nine peer-reviewed systematic literature reviews and state-of-the-art studies on business process compliance to examine information Technology artifacts used in the compliance of business processes to laws and regulations. Results from the 342 unique studies covered by these reviews demonstrate that eight types of information Technology artifacts are used in the design, execution and after-execution lifecycle phases of regulatory compliance to perform compliance modeling, checking, analysis and enactment tasks. The results also demonstrate with statistical evidence that compliance enactment (which involves putting mechanisms in place to address changes in the compliance representations, business processes or regulatory requirements) has received the least attention. This is a worrisome situation given the dynamic environment in which businesses operate. We argue that the findings in this work are relevant toward understanding the current state of the domain, providing insights on what phases and tasks need improvement.

关键词： business process compliance IT artifacts Meta-analysis Regulatory compliance Requirements Systematic reviews

来源：评论

学校读者我要写书评

暂无评论

MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams 1

引用

12th International Conference on business Process Management (BPM)

作者： Wilk, Szymon Astaraky, Davood Michalowski, Wojtek Amyot, Daniel Li, Runzhuo Kuziemsky, Craig Andreev, Pavel Poznan Univ Tech Inst Comp Sci Poznan Poland Univ Ottawa Telfer Sch Management Ottawa ON Canada Univ Ottawa Sch Elect Engn & Comp Sci Ottawa ON Canada

ISBN: (数字)9783319158952

ISBN: (纸本)9783319158952;9783319158945

This paper describes MET4, a multi-agent system that supports interdisciplinary healthcare teams (IHTs) in executing patient care workflows. Using the concept of capability, the system facilitates the maintenance of an IHT and assignment of workflow tasks to the most appropriate team members. Moreover, following the principles of participatory medicine, MET4 facilitates involving the patient and her preferences in the management process. We describe conceptual foundations of the system and present the system design combining multi-agent and ontology-driven paradigms. Finally, we present a prototype implementation of MET4 and illustrate operations of the prototype using an example involving chronic pain management in palliative care.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Methods in Designing and Developing Capabilities: A Systematic Mapping Study 8th

引用

8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM)

作者： Koc, Hasan Univ Rostock Inst Comp Sci D-18051 Rostock Germany

ISBN: (纸本)9783319258973;9783319258966

Enterprises operate in dynamically changing environments that have an influence on both business and IT areas. Capabilities have been proposed as instruments to align business and IT in such environments. One aim of enterprise modelling is a better communication between the stakeholders of an enterprise at various levels. Thus, the alignment can be facilitated by the exploitation of enterprise models as an abstraction instrument. In this respective the paper analyses the methods for capability design and development from the enterprise modelling perspective by conducting a mapping study, i.e. the level of methodological support for capability modelling is investigated. For this purpose 112 journals and 24 conference proceedings were analysed. The most important findings are that the research in capability design (i) adopts empirical research, mostly in form of case studies and surveys (ii) is mainly motivated by Resource Based View (RBV) and changing environments (iii) proposes development approaches and frameworks as solution artefacts, (iv) lately receives attention in the information Systems Development & Tools of MIS subject classification lately, (v) provides a scarce methodological support that is mostly represented as procedures and most importantly (vi) only to some extent exploit enterprise models that could enhance stakeholder communication at various abstraction levels.

关键词： Capability modelling Capability development Method Systematic literature review Mapping study

来源：评论

学校读者我要写书评

暂无评论

Measuring Energy Consumption of Cross-Platform Frameworks for Mobile Applications 10th

Measuring Energy Consumption of Cross-Platform Frameworks fo...

引用

10th International Conference on Web information Systems and Technologies (WEBIST)

作者： Ciman, Matteo Gaggi, Ombretta Univ Padua Dept Math Via Trieste 63 I-35121 Padua Italy

ISBN: (纸本)9783319270302;9783319270296

In this paper we analyze frameworks for mobile cross-platform development according to their influence on energy consumed by the developed applications. We consider the use of different smartphones sensors, e.g., GPS, accelerometer, etc., and features, e.g., acquiring video or audio from the environment. In particular, we have studied how the amount of required energy for the same operation changes according to the used framework. We use an hardware and software tool to measure energy consumed by the applications developed natively, as a web application or using two frameworks, Titanium and PhoneGap. Our experiments have shown that frameworks have a significant impact on energy consumption which greatly increases compared to an equal native application. Moreover, the amount of consumed energy is not the same for all frameworks.

关键词： Mobile applications development Cross-platform frameworks Energy consumption

来源：评论

学校读者我要写书评

暂无评论

An Agile BPM System for Knowledge-Based Service Organizations 1

引用

6th International Conferences on Exploring Service Science 1.5 (IESS)

作者： Faria, Jose Antonio Novoa, Henriqueta Univ Porto Fac Engn P-4200465 Oporto Portugal

ISBN: (数字)9783319149806

ISBN: (纸本)9783319149806;9783319149790

This paper presents a business process management (BPM) system aimed at knowledge-based service organizations. The core activity of these organizations consists on the delivery of high-valued services tailored to each customer. When compared to product-based organizations, service organizations have more dynamic and diversified business portfolios and business processes, due to the need to adapt to evolving customer needs. The efficiency of business process management (BPM) solutions is widely recognised as far as high volume standardized processes are concerned, but the unsuitability of these systems to handle customizable service requests is also widely acknowledged. With this in mind, a new BPM platform, hereafter referred to as the soBPM platform, was designed and deployed. This platform is intended to offer a higher degree of flexibility, both at process design-time and process run-time. The platform implements a soft-automation process management approach that will be discussed in the first part of the paper. Then, the deployment of the platform at the Shared Service Center of a large University will be presented.

关键词： business process management Knowledge based services Adaptive and emergent processes

来源：评论

学校读者我要写书评

暂无评论

A Generic Approach for Calculating and Visualizing Differences Between Process Models in Multidimensional Process Mining 1

引用

12th International Conference on business Process Management (BPM)

作者： Cordes, Carsten Vogelgesang, Thomas Appelrath, Hans-Juergen Carl von Ossietzky Univ Oldenburg D-26129 Oldenburg Germany

ISBN: (数字)9783319158952

ISBN: (纸本)9783319158952;9783319158945

Process mining automatically generates process models from event logs. In multidimensional process mining, these models can be analyzed from various viewpoints by clustering event traces according to their attributes, e.g. age or region of the patient for a healthcare process. For each cluster, a distinct process model is calculated. Since these models are supposed to be identical in most parts, differences between them are hard to spot. Therefore, a tool for emphasizing these differences is needed. To face the different challenges presented by multidimensional process mining like the representational bias, such an approach has to be customizable to support different modeling languages and different layout and differencing algorithms. This paper presents a generic approach to calculate and visualize differences between process models which can be used to compare models in multidimensional process mining.

关键词： Visualization Differencing Multidimensional process mining

来源：评论

学校读者我要写书评

暂无评论

Applying Randori-Style Kata and Agile Practices to an Undergraduate-Level Programming Class 16th

Applying Randori-Style Kata and Agile Practices to an Underg...

引用

16th International Conference on Agile Software Development (XP)

作者： Soomlek, Chitsutha Khon Kaen Univ Fac Sci Dept Comp Sci Khon Kaen Thailand

ISBN: (纸本)9783319186122;9783319186115

This study adapted and applied a traditional randori-style kata to a web programming class, in order to help undergraduate students improve their programming skills. The process in the traditional randori-style kata was modified to match to the nature of XML. The results indicated that the modified randori-style kata is an effective method for the programming course and the students to enhance their programming skills. The activity also helped the students to repetitively review and reapply theories and knowledge to programming problems. The kata can stimulate the learning system, enhance self-confidence, and improve the relationships among the students.

关键词： Randori-style kata Coding dojo Kata Learning systems Programming education

来源：评论

学校读者我要写书评

暂无评论

Towards Path-Based Semantic Annotation for Web Service Discovery

Towards Path-Based Semantic Annotation for Web Service Disco...

引用

26th International Conference on Advanced information Systems Engineering (CAiSE)

作者： Koepke, Julius Eder, Johann Joham, Dominik Alpen Adria Univ Klagenfurt Dept Informat Syst Klagenfurt Austria

ISBN: (纸本)9783319192703;9783319192697

Annotation paths are a new method for semantic annotation, which overcomes the limited expressiveness of concept references as defined in the SAWSDL standard. We introduce annotation paths and show how annotation paths can be applied for service matching capturing the semantics of XML schemas and web service descriptions more precisely. We report some experimental evaluation of the feasibility of annotation paths for web service discovery. The experiments suggest that annotation paths appears as a promising approach for improving web service discovery.

关键词： Web service matching Service discovery Semantic annotation SAWSDL Annotation paths XML schema matching Semantic matching

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 477 478 479 480 481 482 483 484 485 486 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：