Filters








245 Hits in 8.6 sec

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation

Flora Amato, Francesco De Paola, Crescenzo Diomaiuta, Maurizio Giugni, Nicola Mazzocca, Francesco Moscato
2015 Procedia Computer Science  
A way to manage complexity of analysis is the use of Model Based Transformation techniques: analysts can express their models in the way they use to do and automatic algorithms translate original models  ...  In this work we describe an automatic transformation algorithm generating hybrid automata for the analysis of a natural water supply system.  ...  Presence of deadlocks and fails of formulas checks are symptom of problems in the system model and the presented methodology offers a fast way to analyse system models in order to detect problems that  ... 
doi:10.1016/j.procs.2015.05.323 fatcat:lnqvokc2ezasvmu4szmdrfaqka

Research on the Key Issues of Big Data Quality Management, Evaluation, and Testing for Automotive Application Scenarios

Yingzi Wang, Ce Yu, Jue Hou, Yongjia Zhang, Xiangyi Fang, Shuyue Wu
2021 Complexity  
To improve the operational efficiency of complex data quality management algorithms in large-scale data scenarios, corresponding parallelization algorithms are studied and implemented for detection and  ...  information and chunking techniques, and plain Bayesian-based missing value filling algorithms, and this paper proposes a data validity evaluation algorithm and enhances the validity of the original data  ...  Acknowledgments is work was sponsored in part by Intelligent Manufacturing Project of TianJin (20193155).  ... 
doi:10.1155/2021/9996011 doaj:a324b518eb9c45c4bc6d6f22db8792ca fatcat:xwdmfx7c5zhnzlizgelr75qv4q

Real-Time Detection Method for Surface Defects of Stamping Parts Based on Template Matching*

Bin Li, Yun Wu, Fengxia Guo, Jun Qi
2019 IOP Conference Series: Earth and Environment  
In this regard, a thorough investigation has been made in the present paper into the literature of network security situational awareness.  ...  for the scientific research and engineering personnel in this field.  ...  He worked in software companies from 2009 to 2017. He has been engaged in software development for 4 years in active network, and later served as general manager in medium-sized software enterprises.  ... 
doi:10.1088/1755-1315/252/2/022076 fatcat:rqbvta44rrcivoyjzy5pebwdwe

Analysis framework of network security situational awareness and comparison of implementation methods

Yan Li, Guang-qiu Huang, Chun-zi Wang, Ying-chao Li
2019 EURASIP Journal on Wireless Communications and Networking  
In this regard, a thorough investigation has been made in the present paper into the literature of network security situational awareness.  ...  for the scientific research and engineering personnel in this field.  ...  He worked in software companies from 2009 to 2017. He has been engaged in software development for 4 years in active network, and later served as general manager in medium-sized software enterprises.  ... 
doi:10.1186/s13638-019-1506-1 fatcat:lzamend3krbfhmntenrhmywx2u

Component-Based Robotic Engineering (Part II)

Davide Brugali, Azamat Shakhimardanov
2010 IEEE robotics & automation magazine  
Filtering library(BFL) provides the software implementation of most used Bayesian methods.  ...  The consequence of improper management of the order and containment relationships in a complex, concurrent system is deadlock [42] . A.  ... 
doi:10.1109/mra.2010.935798 fatcat:jn6qjrboq5hzpedjilh7gdtqtu

Using probabilistic reasoning to automate software tuning

David G. Sullivan, Margo I. Seltzer, Avi Pfeffer
2004 Proceedings of the joint international conference on Measurement and modeling of computer systems - SIGMETRICS 2004/PERFORMANCE 2004  
In particular, the thesis presents a methodology for automated software tuning that employs the influence diagram formalism and related learning and inference algorithms, and it uses this methodology to  ...  Complex software systems typically include a set of parameters that can be adjusted to improve the system's performance.  ...  The same can be said of other complex software systems-operating systems, Web servers, and the like.  ... 
doi:10.1145/1005686.1005739 dblp:conf/sigmetrics/SullivanSP04 fatcat:ct7lx4gt2fg67ct2fxmcdvji6i

Using probabilistic reasoning to automate software tuning

David G. Sullivan, Margo I. Seltzer, Avi Pfeffer
2004 Performance Evaluation Review  
In particular, the thesis presents a methodology for automated software tuning that employs the influence diagram formalism and related learning and inference algorithms, and it uses this methodology to  ...  Complex software systems typically include a set of parameters that can be adjusted to improve the system's performance.  ...  The same can be said of other complex software systems-operating systems, Web servers, and the like.  ... 
doi:10.1145/1012888.1005739 fatcat:52jiym6w75bjxlghqrdq5bn2wa

Software health management with Bayesian networks

Johann Schumann, Timmy Mbaya, Ole Mengshoel, Knot Pipatsrisawat, Ashok Srivastava, Arthur Choi, Adnan Darwiche
2013 Innovations in Systems and Software Engineering  
This paper demonstrates a novel approach to software health management based on a rigorous Bayesian formulation that monitors the behavior of software and operating system, performs probabilistic diagnosis  ...  Software Health Management (SWHM) is an emerging field which addresses the critical need to detect, diagnose, predict, and mitigate adverse events due to software faults and failures.  ...  Software Health Management with Bayesian Networks  ... 
doi:10.1007/s11334-013-0214-y fatcat:sonbzyrdenbzbgainbsqc44ova

Dynamic Process Integration Framework: Toward Efficient Information Processing in Complex Distributed Systems [chapter]

Gregor Pavlin, Michiel Kamermans, Mihnea Scafeş
2009 Studies in Computational Intelligence  
An example of such an application is situation assessment in complex decision making processes in dynamic environments.  ...  The Dynamic Process Integration Framework (DPIF) is a service oriented approach which supports efficient creation of distributed systems for collaborative reasoning.  ...  This can introduce additional complexity to the system configuration in which services and processes are specified.  ... 
doi:10.1007/978-3-642-03214-1_16 fatcat:xoc2pvwd2zf77ae3twxwaz23le

A Taxonomy on Big Data: Survey [article]

Ripon Patgiri
2019 arXiv   pre-print
In this paper, we present the taxonomy of Big Data. Besides, we present in-depth insight on the Big Data paradigm.  ...  The Big Data are used to boost up the organization performance using massive amount of dataset. The Data are assets of the organization, and these data gives revenue to the organizations.  ...  viewer Bayesian algorithm: It is based on Bayesian method.  ... 
arXiv:1808.08474v3 fatcat:mxnvemtv75akvhq4643b4q4lne

Program book

2010 2010 IEEE 26th International Conference on Data Engineering Workshops (ICDEW 2010)  
We present OCA, a novel algorithm to detect overlapped communities in large data graphs.  ...  In particular, we present multiple transformation rules that enable similarity query optimization through the generation of equivalent similarity query execution plans.  ...  Adding autonomic, or self-managing, capabilities to these systems promises easier use and maintenance.  ... 
doi:10.1109/icdew.2010.5452773 fatcat:oyq2tujbvjfpxjlyixux5q57vu

Industry 4.0: Some Challenges and Opportunities for Reliability Engineering

Mohammad Ali Farsi, Enrico Zio
2019 International Journal of Reliability, Risk and Safety: Theory and Application  
New directions for research in system modeling, big data analysis, health management, cyber-physical system, human-machine interaction, uncertainty, jointly optimization, communication, and interfaces  ...  In this paper, the principle of Industry 4.0 is presented and some of these challenges and opportunities for reliability engineering are discussed.  ...  Thus, these topics should be more considered for complex and resilience system optimization. Interfaces and Compatibility A system includes different elements from software to hardware.  ... 
doi:10.30699/ijrrs.2.1.4 fatcat:f2viyznxvzd6liyyy6ihlgftc4

Perception, Planning, Control, and Coordination for Autonomous Vehicles

Scott Pendleton, Hans Andersen, Xinxin Du, Xiaotong Shen, Malika Meghjani, You Eng, Daniela Rus, Marcelo Ang
2017 Machines  
The objective of this paper is to provide a general overview of the recent developments in the realm of autonomous vehicle software systems.  ...  Research in autonomous systems has seen dramatic advances in recent years, due to the increases in available computing power and reduced cost in sensing and computing technologies, resulting in maturing  ...  Autonomous vehicles are complex systems.  ... 
doi:10.3390/machines5010006 fatcat:24h5nl5quve6fpt2wtdyf4qafe

Analyzing Medical Processes [chapter]

Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
2011 Engineering of Software  
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes used to administer healthcare  ...  This paper describes how finite-state verification can be used to help find defects in such processes as well as find errors in the process definitions and property specifications.  ...  This suggests that the approaches used in software engineering to build and analyze complex, distributed systems might be effective in defining and analyzing medical processes.  ... 
doi:10.1007/978-3-642-19823-6_21 fatcat:xxihfk4gwndhlnih7q7pf6iu4y

A Review of Recent Advances in Automated Guided Vehicle Technologies: Integration Challenges and Research Areas for 5G-Based Smart Manufacturing Applications

Emmanuel A. Oyekanlu, Alexander Smith, Windsor P. Thomas, Grethel Mulroy, Dave Hitesh, Matthew Ramsey, David Kuhn, Jason D. McGhinnis, Steven C. Buonavita, Nickolus R. Looper, Mason Ng, Anthony Ng'oma (+5 others)
2020 IEEE Access  
In addition, novel integration ideas by which tactile Internet, 5G network slicing and virtual reality applications can be used to facilitate AGV and AMR based factory of the future (FoF) and smart manufacturing  ...  AoRs that must be comprehensively explored for 5G systems to be fully utilizable for AGV fleet management.  ...  In [93] , and [94] , authors used A* algorithm combined with Dijkstra algorithm to plan optimal paths for AGVs navigation. A* algorithm was also used in [95] for AGVs path planning.  ... 
doi:10.1109/access.2020.3035729 fatcat:lhhe2ur2v5fffb32vnd5p56usm
« Previous Showing results 1 — 15 out of 245 results