掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Case Study in Integrated Quality Assurance for Performance Management Systems
机译:
绩效管理系统综合质量保证案例研究
作者:
Liam Peyton
;
Bo Zhan
;
Bernard Stepien
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
2.
Modeling with Service Dependency Diagrams
机译:
使用服务依赖图建模
作者:
Lawrence Cabac
;
Ragna Dirkner
;
Daniel Moldt
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
3.
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction
机译:
IT治理性能预测的线性条件概率矩阵发生器
作者:
Marten Simonsson
;
Robert Lagerstrom
;
Pontus Johnson
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
4.
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP
机译:
使用FSP的代理环境中的Matchmakers,Front-Agents和经纪人的正式规范
作者:
Amelia Badica
;
Costin Badica
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
5.
Weakly Continuation Closed Homomorphisms on Automata
机译:
弱持续封闭自动机的同态
作者:
Thierry Nicola
;
Ulrich Ultes-Nitsche
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
6.
Software Model Checking for Internet Protocols with Java Pathfinder
机译:
用Java Pathfinder检查Internet协议的软件模型
作者:
Jesus Martinez
;
Cristobal Jimenez
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
7.
Comparing Methodologies for Service-Orientation using the Generic System Development Process
机译:
使用通用系统开发过程比较服务方向的方法
作者:
Linda Terlouw
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
8.
Formal Goal-based Modeling of Organizations
机译:
基于正式目标的组织建模
作者:
Viara Popova
;
Alexei Sharpanskykh
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
9.
Modelling Multi-Agent Systems with Organizations in Mind
机译:
用组织建模多代理系统
作者:
Matthias Wester-Ebbinghaus
;
Daniel Moldt
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
10.
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
机译:
面向对象模型的可执行语义,用于仿真和定理证明
作者:
Kenro Yatake
;
Takuya Katayama
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
11.
Active Database System Realized by a Petri Net Approach
机译:
通过培养的净方法实现了活动数据库系统
作者:
Lorena Chavarria-Baez
;
Xiaoou Li
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
12.
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B
机译:
使用AUML和事件B的规范和验证多代理系统交互协议的方法
作者:
Leila Jemni Ben Ayed
;
Fatma Siala
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
13.
An Aspect for Design by Contract in Java
机译:
Java合同的设计一个方面
作者:
Sergio Agostinho
;
Pedro Guerreiro
;
Hugo Taborda
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
14.
An Approach to Simulate Enterprise Resource Planning Systems
机译:
一种模拟企业资源规划系统的方法
作者:
Andre Bogelsack
;
Holger Jehle
;
Holger Wittges
;
Jorg Schmidl
;
Helmut Krcmar
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
15.
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
机译:
整合正式方法和仿真以提高Web服务的可靠性和正确性
作者:
George Eleftherakis
;
Ognen Paunovski
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
16.
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows
机译:
基于Petri网络建模资源受限的中间工作流程方法
作者:
Oana Prisecaru
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
17.
Modeling Multi-agent Logistic Process System using Hybrid Automata
机译:
使用混合自动机建模多代理物流过程系统
作者:
Ammar Mohammed
;
Ulrich Furbach
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
18.
Checking Inherently Fair Linear-Time Properties in a Non-NaiveWay?
机译:
在非天空道上检查固有的公平线性时间特性吗?
作者:
Thierry Nicola
;
Frank Niessner
;
Ulrich Ultes-Nitsche
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
19.
A Model Transformation Framework for Model Driven Engineering
机译:
模型驱动工程模型转换框架
作者:
Xiaoping Jia
;
Hongming Liu
;
Lizhang Qin
;
Adam Steele
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2008年
20.
Methods for Service Identification: A Criteria-based Literature Review
机译:
服务识别方法:基于标准的文献综述
作者:
Rene Boerner
;
Matthias Goeken
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
21.
ImageNetDiff: Finding Differences in Models
机译:
ImageNetdiff:在模型中发现差异
作者:
Lawrence Cabac
;
Kolja Markwardt
;
Jan Schluter
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
22.
Making Use Case Slices Manage Variability in Aspect-based Product Line
机译:
使用案例切片在基于宽高的产品线中管理变异性
作者:
Satish Mahadevan Srinivasan
;
Mansour Zand
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
23.
From Reactive to Deliberative Multi-agent Planning
机译:
从反作用的多发性经纪人规划
作者:
Ammar Mohammed
;
Ulrich Furbach
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
24.
Database Integrity in Integrated Systems
机译:
集成系统中的数据库完整性
作者:
Jose Francisco Zelasco
;
Judith Donayo
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
25.
Multi Project Organization Optimization using Genetic Algorithm
机译:
多项目组织优化使用遗传算法
作者:
Sven Tackenberg
;
Sebastian Schneider
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
26.
Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams
机译:
用粗大设计图建模了早期设计阶段的多代理系统系统组织
作者:
Lawrence Cabac
;
Kolja Markwardt
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
27.
Using SCADE for Decision Support in Dam Management
机译:
利用水坝管理硕士学位支持
作者:
Maria del Mar Gallardo
;
Pedro Merino
;
Laura Panizo
;
Antonio Linares
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
28.
Layered Queuing Networks for Simulating Enterprise Resource Planning Systems
机译:
用于模拟企业资源规划系统的分层排队网络
作者:
Stephan Gradl
;
Andre Bogelsack
;
Holger Wittges
;
Helmut Krcmar
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
29.
A Petri Net Based Approach for Modelling and Analyzing Inter organizational Workflows with Dynamic Structure
机译:
基于Petri网络的建模与动态结构组织工作流程的方法
作者:
Oana Otilia Prisecaru
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
30.
A Process-Oriented Tool-Platform for Distributed Development
机译:
用于分布式开发的过程导向工具平台
作者:
Kolja Markwardt
;
Lawrence Cabac
;
Christine Reese
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
31.
Information Systems Configuration Analysis using Event-driven Computer Simulation
机译:
信息系统配置分析使用事件驱动的计算机模拟
作者:
Tomasz Walkowiak
;
KatarzynaMichalska
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
32.
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response
机译:
基于代理的化学事件响应人类合作系统的初步设计
作者:
Mihnea Scafes
;
Costin Badica
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
33.
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications
机译:
使用UML活动图表和事件B用于规范和工作流应用程序的验证
作者:
Ahlem Ben Younes
;
Leila Jemni Ben Ayed
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
34.
The Role of Testing in Agile and Conventional Methodologies
机译:
测试在敏捷和传统方法中的作用
作者:
Agustin Yague
;
Juan Garbajosa
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
35.
Use Case Maps as an Aid in the Construction of a Formal Specification
机译:
使用案例地图作为辅助建设正式规格
作者:
Cyrille Dongmo
;
John A. van der Poll
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
36.
An Automatic Transformation of Event B Models Into UML Using an Interactive Inference Engine THINKER
机译:
使用交互推理引擎思想家将事件B模型的自动转换为UML
作者:
Leila Jemni Ben Ayed
;
Mohamed Nidhal Jelassi
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
关键词:
Event B;
Inference engine;
Interactivity;
Modeling;
UML;
Translation;
37.
Test Cases Generation for Nondeterministic Duration Systems
机译:
用于非定义持续时间系统的测试用例
作者:
Lotfi Majdoub
;
Riadh Robbana
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2009年
38.
Extending CTL to Specify Quantitative Temporal Requirements
机译:
扩展CTL以指定定量的时间要求
作者:
Ammar Mohammed
;
Ulrich Furbach
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
39.
Compositional Verification of Business Processes by Model-Checking
机译:
模型检查的业务流程的组成验证
作者:
Luis E. Mendoza
;
Manuel I. Capel
;
Maria Perez
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
40.
The Analysis of Resource Constrained Workflows using Petri Nets
机译:
使用Petri网的资源受限工作流分析
作者:
Oana Otilia Prisecaru
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
41.
KAOS-β: A Goal-oriented Process Model for EIS
机译:
kaose-β:我们的目标导向过程模型
作者:
Malihe Tabatabaie
;
Fiona A. C. Polack
;
Richard F. Paige
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
42.
Towards Domain-specific Modeling for Java Enterprise Applications
机译:
朝着Java Enterprise应用程序的域特定建模
作者:
Moritz Balz
;
Michael Goedicke
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
43.
On Some Complementary Trends in Model Transformation Generation
机译:
论模型转型生成的一些互补趋势
作者:
Marianne Huchard
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
44.
Definition of Domain Specific Operation Languages Following MDD
机译:
MDD后域特定操作语言的定义
作者:
Pedro P. Alarcon
;
Jennifer Perez
;
Agustin Yague
;
David Musat
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
45.
Framework for Performance Evaluation of Service Negotiations in Agent Systems
机译:
代理系统中服务谈判绩效评估的框架
作者:
Mihnea Scafes
;
Costin Badica
会议名称:
《International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems》
|
2010年
意见反馈
回到顶部
回到首页