A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
2015
Procedia Computer Science
Preserved Fulltext
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
2021
Complexity
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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*
2019
IOP Conference Series: Earth and Environment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
EURASIP Journal on Wireless Communications and Networking
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2010
IEEE robotics & automation magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the joint international conference on Measurement and modeling of computer systems - SIGMETRICS 2004/PERFORMANCE 2004
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2004
Performance Evaluation Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2013
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal of Reliability, Risk and Safety: Theory and Application
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
Machines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Engineering of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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