掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on model and data engineering
International conference on model and data engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
作者:
El Hassan Abdelwahed
;
Ladjel Bellatreche
;
Matteo Golfarelli
;
Dominique Mery
;
Carlos Ordonez
会议名称:
《International conference on model and data engineering》
|
2018年
2.
Data Science with Vadalog: Bridging Machine Learning and Reasoning
机译:
带有Vadalog的数据科学:桥接机器学习和推理
作者:
Luigi Bellomarini
;
Ruslan R. Fayzrakhmanov
;
Georg Gottlob
;
Andrey Kravchenko
;
Eleonora Laurenza
;
Yavor Nenov
;
Stephane Reissfelder
;
Emanuel Sallinger
;
Evgeny Sherkhonov
;
Lianlong Wu
会议名称:
《International conference on model and data engineering》
|
2018年
3.
Modeling Distributed Algorithms by Local Computations with Applications
机译:
通过局部计算和应用对分布式算法建模
作者:
Mohamed Mosbah
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Local computations;
Distributed algorithms;
Formal proofs;
4.
Data Science with Vadalog: Bridging Machine Learning and Reasoning
机译:
带有Vadalog的数据科学:桥接机器学习和推理
作者:
Luigi Bellomarini
;
Ruslan R. Fayzrakhmanov
;
Georg Gottlob
;
Andrey Kravchenko
;
Eleonora Laurenza
;
Yavor Nenov
;
Stephane Reissfelder
;
Emanuel Sallinger
;
Evgeny Sherkhonov
;
Lianlong Wu
会议名称:
《》
|
2018年
关键词:
Knowledge graphs;
Data science;
Machine learning Reasoning;
Probabilistic reasoning;
5.
NoSQL Databases - Seek for a Design Methodology
机译:
NoSQL数据库-寻求设计方法
作者:
Chaimae Asaad
;
Karim Baiena
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
NoSQL;
Database modeling NoSQL design methodology;
Data models;
6.
Mortadelo: A Model-Driven Framework for NoSQL Database Design
机译:
Mortadelo:NoSQL数据库设计的模型驱动框架
作者:
Alfonso de la Vega
;
Diego Garcia-Saiz
;
Carlos Blanco
;
Marta Zorrilla
;
Pablo Sanchez
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
NoSQL;
Database design;
Model-driven engineering;
7.
Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases
机译:
迈向软件工程的OntoUML:关系数据库中排他性约束的实验评估
作者:
Zdeněk Rybola
;
Michal Valenta
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
MDD;
Transformation;
OntoUML Relational database;
Exclusivity constraints;
Evaluation;
8.
Scrum and V Lifecycle Combined with Model-Based Testing and Model Driven Architecture to Deal with Evolutionary System Issues
机译:
Scrum和V生命周期与基于模型的测试和模型驱动的体系结构相结合,以解决演化系统问题
作者:
Imane Essebaa
;
Salima Chantit
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Model Driven Architecture;
Model-Based Testing V incremental lifecycle;
Scrum agile methodology;
Model transformations Test generation;
Evolutionary system;
9.
Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF Graphs
机译:
通过处理RDF图计算本体度量的自适应算法
作者:
Jean Vincent Fonou-Dombeu
;
Yannick Kazela Kazadi
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Algorithm;
Biomedical ontologies;
BioPortal Ontology complexity metrics;
RDF Graphs;
10.
CRank: A Novel Framework for Ranking Semantic Web Ontologies
机译:
CRank:一种用于对语义Web本体进行排名的新颖框架
作者:
Jean Vincent Fonou-Dombeu
;
Serestina Viriri
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Ontology;
Semantic web;
Complexity metrics Decision making;
Ontology ranking;
11.
A New Way of Handling Missing Data in Multi-source Classification Based on Adaptive Imputation
机译:
基于自适应归因的多源分类缺失数据处理新方法
作者:
Ikram Abdelkhalek
;
Afef Ben Brahim
;
Nadia Essousi
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Data fusion;
Missing data;
Classification Random forests;
12.
Feedback-Oriented Assessor Model Application: Allocation of Submissions in Online Peer Assessment
机译:
面向反馈的评估者模型应用:在线对等评估中的提交分配
作者:
Mohamed-Amine Abrache
;
Khalid Megder
;
Chihab Cherkaoui
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Online learning;
MOOC;
Online assessment;
Peer feedback Peer assessment;
Assessor model;
Allocation of submissions;
13.
A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd Sensing
机译:
基于游戏化和客观性的方法来提高移动人群感知中的用户动机
作者:
Hasna El Alaoui El Abdallaoui
;
Abdelaziz El Fazziki
;
Fatima Zohra Ennaji
;
Mohamed Sadgal
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Crowd sensing;
Gamification;
Objectivity analysis Suspect investigation;
User motivation;
14.
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
机译:
云系统中跨层弹性策略的建模和评估
作者:
Khaled Khebbeb
;
Nabil Hameurlain
;
Faiza Belala
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Cloud Computing;
Elasticity;
Cross-layer elastic behavior Modeling;
Bigraphical Reactive Systems;
Maude;
15.
Thing Federation as a Service: Foundations and Demonstration
机译:
事物联合即服务:基础和示范
作者:
Zakaria Maamar
;
Khouloud Boukadi
;
Emir Ugljanin
;
Thar Baker
;
Muhammad Asim
;
Mohammed Al-Khafajiy
;
Djamal Benslimane
;
Hasna El Alaoui El Abdallaoui
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Federation-as-a-Service;
Internet of Things Emergency services;
16.
Formalizing Reusable Communication Models for Distributed Systems Architecture
机译:
分布式系统架构的可重用通信模型的形式化
作者:
Quentin Rouland
;
Brahim Hamid
;
Jason Jaskolka
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Component;
Connector;
Communication;
Reuse Meta-modeling;
Formalization;
17.
A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security Ontology
机译:
基于网络安全本体的支持安全需求的有效BPMN扩展
作者:
Mohamed El Amine Chergui
;
Sidi Mohamed Benslimane
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
BPMN extension;
Security in business process Business process modeling;
18.
A Correct-by-Construction Model for Attribute-Based Access Control
机译:
基于属性的访问控制的按构造校正模型
作者:
Hania Gadouche
;
Zoubeyr Farah
;
Abdelkamel Tari
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
ABAC;
A priori verification;
Correct-by-Construction Event-B;
Formal methods;
Proof and refinement Specification and validation;
19.
Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoop
机译:
基于Voronoi-Diagram的分区,用于SpatialHadoop中的距离联接查询处理
作者:
Francisco García-García
;
Antonio Corral
;
Luis Iribarne
;
Michael Vassilakopoulos
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Data partitioning;
k Nearest Neighbors Join;
k Closest Pairs;
SpatialHadoop;
MapReduce;
20.
Graph Pattern Matching Preserving Label-Repetition Constraints
机译:
图模式匹配保留标签重复约束
作者:
Houari Mahfoud
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Subgraph isomorphism;
Triple simulation Label-Repetition constraint;
21.
Standard and Dialectal Arabic Text Classification for Sentiment Analysis
机译:
用于情感分析的标准和方言阿拉伯文本分类
作者:
Mohcine Maghfour
;
Abdeljalil Elouardighi
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Sentiment analysis;
Natural language processing Supervised classification;
Language classification Modern standard Arabic;
Moroccan dialectal Arabic Facebook comments;
22.
A Graph-Based Model for Tag Recommendations in Clinical Decision Support System
机译:
基于图形的临床决策支持系统中标签推荐的模型
作者:
Sara Qassimi
;
El Hassan Abdelwahed
;
Meriem Hafidi
;
Rachid Lamrani
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Tag recommendations;
Graph-based model Network analysis;
Electronic health record;
Clinical decision support;
23.
Spatial Batch-Queries Processing Using xBR~+-trees in Solid-State Drives
机译:
在固态驱动器中使用xBR〜+树进行空间批量查询处理
作者:
George Roumelis
;
Michael Vassilakopoulos
;
Antonio Corral
;
Athanasios Fevgas
;
Yannis Manolopoulos
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Spatial indexes;
xBR+-trees;
Query processing Solid-State Drives;
24.
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B
机译:
使用UML / Event-B将铁路信号系统ERTMS / ETCS形式化
作者:
Abderrahim Ait Wakrime
;
Rahma Ben Ayed
;
Simon Collart-Dutilleul
;
Yves Ledru
;
Akram Idani
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Formal methods;
Verification;
Event-B;
UML Model checking;
Railway Signaling System;
ERTMS/ETCS;
25.
A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN
机译:
基于CPN的时序图逆向工程动态分析。
作者:
Chafik Baidada
;
El Mahi Bouziane
;
Abdeslam Jakimi
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Reverse engineering;
UML;
Sequence diagram;
CPN Dynamic analysis;
26.
A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant
机译:
Isabelle / HOL证明助手中的数据库水平碎片化的正式过程
作者:
Cheikh Salmi
;
Mohamed Chaabani
;
Mohamed Mezghiche
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Horizontal fragmentation;
Database optimization Minterm;
Tableau calculus;
Proof assistant;
Formal methods;
27.
Domain-Oriented Verification Management
机译:
面向领域的验证管理
作者:
Vincent Leilde
;
Vincent Ribaud
;
Ciprian Teodorov
;
Philippe Dhaussy
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
Organizing system;
Diagnosis;
Problem oriented method;
28.
A Formal Model for Interaction Specification and Analysis in IoT Applications
机译:
物联网应用中交互规范和分析的正式模型
作者:
Souad Marir
;
Faiza Belala
;
Nabil Hameurlain
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
IoT;
BRS;
Formal specification;
Interaction model TQL;
29.
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language
机译:
机械化时钟约束规范语言的指称语义
作者:
Mathieu Montin
;
Marc Pantel
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
DSML;
Semantics mechanization;
Proof assistants CCSL;
30.
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification
机译:
通过形式化的建模和验证确保物联网的功能正确性
作者:
Samir Ouchani
会议名称:
《International conference on model and data engineering》
|
2018年
关键词:
IoT;
Security assessment;
Attack tree Security policies;
Formal verification;
Formal modeling Model checking;
Functional correctness;
31.
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems
机译:
混合事件-B的扩展以支持网络物理系统中的并发
作者:
Klaus-Dieter Schewe
会议名称:
《International conference on model and data engineering》
|
2018年
意见反馈
回到顶部
回到首页