搜索页_+rule+based+specification

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

馆藏书目(1)	CNKI学位论文(12421)	知网期刊论文(4459)
CNKI会议论文(4)	CNKI期刊论文0611(5)	标准(2)

在“Elsevier电子期刊”中，命中：1,034条，耗时：0.0159932 秒

在所有数据库中总计命中：16,892条

1.Exploring the interaction of inventory policies across the supply chain: An agent-based approach

作者：Borja Ponte ; ^{ponteborja@uniovi.es} ; Enrique Sierra ^{enriquesierramiranda@gmail.com} ; David de la Fuente ^{david@uniovi.es} ; Jesú ; s Lozano ^{lozano@uniovi.es}

关键词：ABMS ; Agent-Based Modeling and Simulation ; KAOS ; Knowledge Acquisition autOmated Specification ; MMSE ; Minimum Mean Square Error ; OUT ; Order-up-to ; POUT ; Proportional Order-up-to ; SCM ; Supply Chain Management

刊名：Computers & Operations Research

出版年：2017

2.Contract enforcement and R&D investment

作者：Michael Seitz ; Martin Watzinger ; ^{Martin.Watzinger@econ.lmu.de}

关键词：O30 ; P48

刊名：Research Policy

出版年：2017

3.Variable markups in the long-run: A generalization of preferences in growth models

作者：Raouf Boucekkine^a ; ^{raouf.boucekkine@univ-amu.fr} ; Hé ; lè ; ne Latzer^b ; ^c ; ^d ; ^{helene.latzer@univ-paris1.fr} ; Mathieu Parenti^e ; ^f ; ^{mparenti@ulb.ac.be}

关键词：Endogenous growth ; Variable markups ; Indirectly additive preferences

刊名：Journal of Mathematical Economics

出版年：2017

4.Polarization in Maxwell optics

作者：Sameen Ahmed Khan ^{rohelakhan@yahoo.com}

关键词：Matrix representation of Maxwell's equations ; Vector wave optics ; Maxwell optics ; Wavelength-dependent effects ; Foldy&ndash ; Wouthuysen transformation ; Beam propagation ; Hamiltonian description ; Aberrations ; Polarization

刊名：Optik - International Journal for Light and Electron Optics

出版年：2017

5.Varying transition rules in bonus-malus systems: From rules specification to determination of optimal relativities

作者：Chong It Tan ^{chongit.tan@anu.edu.au" class="auth_mail" title="E-mail the corresponding author}

关键词：Bonus&ndash ; malus system ; Transition rules ; Optimal relativities ; a priori claim frequency ; a posteriori rating

刊名：Insurance: Mathematics and Economics

出版年：2016

6.Protocol Testing with Symbolic Execution and Rule Based Specification Using Multicore Approach

作者：Sherin Mariam George ; ^{sherinmg2010@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; U. Sangeetha

关键词：symbolic execution ; rule based specification ; testing ; multicore approach

刊名：Procedia Technology

出版年：2016

7.Do activity lifecycles affect the validity of a business rule in a business process?

作者：Mario Luca Bernardi^a ; ^b ; ^c ; ^d ; ^{mlbernar@unisannio.it" class="auth_mail" title="E-mail the corresponding author} ; Marta Cimitile^a ; ^b ; ^c ; ^d ; ^{marta.cimitile@unitelma.it" class="auth_mail" title="E-mail the corresponding author} ; Chiara Di Francescomarino^a ; ^b ; ^c ; ^d ; ^{dfmchiara@fbk.eu" class="auth_mail" title="E-mail the corresponding author} ; Fabrizio Maria Maggi^a ; ^b ; ^c ; ^d ; ^{f.m.maggi@ut.ee" class="auth_mail" title="E-mail the corresponding author}

关键词：Process discovery ; Rule mining ; Discriminative mining ; Non-atomic activities ; Activity lifecycle ; Linear temporal logic

刊名：Information Systems

出版年：2016

8.Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

作者：Antoine Ferlin ; Rahma Ben-Ayed ; Pengfei Sun ; Simon Collart-Dutilleul ; ^{simon.collart-dutilleul@ifsttar.fr" class="auth_mail" title="E-mail the corresponding author} ; Philippe Bon

关键词：B method ; UML ; RBAC Profile ; Petri Nets ; model transformations

刊名：Transportation Research Procedia

出版年：2016

9.Translating Controlled Graph Grammars to Ordinary Graph Grammars

作者：Alex Bertei ^{abertei@inf.ufpel.edu.br" class="auth_mail" title="E-mail the corresponding author} ; Luciana Foss ^{lfoss@inf.ufpel.edu.br" class="auth_mail" title="E-mail the corresponding author} ; Simone A. da Costa Cavalheiro ^{simone.costa@inf.ufpel.edu.br" class="auth_mail" title="E-mail the corresponding author}

关键词：Graph grammar ; controlled graph grammar ; dependent and conflicting rules

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

10.Integration of System Modeling and Design Processes, Data and Technology for Streamlining Enterprise Integration

作者：Craig Estridge ; Timothy Eveleigh ; Berek Tanju ; ^{craigestridge@gwu.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Data quality ; data validation ; data reuse ; rule-driven data creation

刊名：Procedia Computer Science

出版年：2016

按检索点细分(1034)

题名(14)

关键词(20)

文摘(946)

按出版年细分(1034)

2027年及以后(29)

2017年(4)

2016年(43)

2015年(10)

2014年(5)

2013年(48)

2012年(77)

2011年(47)

2010年(55)

2009年(84)

2008年(59)

2007年(60)

2006年(67)

2005年(62)

2004年(48)

2003年(31)

2002年(41)

2001年(44)

2000年(35)

2000年及以前(185)