发布求助
文献互助 智能选刊 最新文献

Advances in Web Technologies and Engineering最新文献

筛选
英文 中文
Verification of Service-Based Declarative Business Processes 基于服务的声明性业务流程的验证
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-5225-7268-8.CH007
Ehtesham Zahoor, K. Munir, O. Perrin, C. Godart
{"title":"Verification of Service-Based Declarative Business Processes","authors":"Ehtesham Zahoor, K. Munir, O. Perrin, C. Godart","doi":"10.4018/978-1-5225-7268-8.CH007","DOIUrl":"https://doi.org/10.4018/978-1-5225-7268-8.CH007","url":null,"abstract":"Traditional business process specification approaches such as BPMN are procedural, as they require specifying exact and complete process flow. In contrast, a declarative process is specified by a set of constraints that mark the boundary of any solution to the process. In this chapter, the authors propose a bounded model-checking-based approach for the verification of declarative processes using satisfiability solving (SAT). The proposed approach does not require exponential space and is very efficient. It uses the highly expressive event calculus (EC) as the modeling formalism, with a sound and complete EC to SAT encoding process. The verification process can include both the functional and non-functional aspects. The authors have also proposed a filtering criterion to filter the clauses of interest from the large set of unsatisfiable clauses for complex processes. The authors have discussed the implementation details and performance evaluation results to justify the practicality of the proposed approach.","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133345824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Challenges and Opportunities for the Convergence of IoT, Big Data, and Cloud Computing 物联网、大数据和云计算融合的挑战与机遇
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-7998-3111-2
{"title":"Challenges and Opportunities for the Convergence of IoT, Big Data, and Cloud Computing","authors":"","doi":"10.4018/978-1-7998-3111-2","DOIUrl":"https://doi.org/10.4018/978-1-7998-3111-2","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961226","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics 物联网的新兴趋势以及与数据科学、云计算和大数据分析的集成
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-7998-4186-9
{"title":"Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics","authors":"","doi":"10.4018/978-1-7998-4186-9","DOIUrl":"https://doi.org/10.4018/978-1-7998-4186-9","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"38 15","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120856924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Examining the Impact of Deep Learning and IoT on Multi-Industry Applications 探讨深度学习和物联网对多行业应用的影响
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-7998-7511-6
{"title":"Examining the Impact of Deep Learning and IoT on Multi-Industry Applications","authors":"","doi":"10.4018/978-1-7998-7511-6","DOIUrl":"https://doi.org/10.4018/978-1-7998-7511-6","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130116478","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
IoT Protocols and Applications for Improving Industry, Environment, and Society 改善工业、环境和社会的物联网协议和应用
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-7998-6463-9
{"title":"IoT Protocols and Applications for Improving Industry, Environment, and Society","authors":"","doi":"10.4018/978-1-7998-6463-9","DOIUrl":"https://doi.org/10.4018/978-1-7998-6463-9","url":null,"abstract":"","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116937699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Artificial Intelligence Based on Biological Neurons 基于生物神经元的人工智能
Advances in Web Technologies and Engineering Pub Date : 1900-01-01 DOI: 10.4018/978-1-7998-4381-8.ch002
Rinat Galiautdinov
{"title":"Artificial Intelligence Based on Biological Neurons","authors":"Rinat Galiautdinov","doi":"10.4018/978-1-7998-4381-8.ch002","DOIUrl":"https://doi.org/10.4018/978-1-7998-4381-8.ch002","url":null,"abstract":"The chapter describes the new approach in artificial intelligence based on simulated biological neurons and creation of the neural circuits for the sphere of IoT which represent the next generation of artificial intelligence and IoT. Unlike existing technical devices for implementing a neuron based on classical nodes oriented to binary processing, the proposed path is based on simulation of biological neurons, creation of biologically close neural circuits where every device will implement the function of either a sensor or a “muscle” in the frame of the home based live AI and IoT. The research demonstrates the developed nervous circuit constructor and its usage in building of the AI (neural circuit) for IoT.","PeriodicalId":372297,"journal":{"name":"Advances in Web Technologies and Engineering","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116900398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信