Search
Search Results
-
Verification of transaction-aware web services composition through formal methods
Due to the popularity of web-based technologies and the cloud computing paradigm, organizations are adopting web services composition for the...
-
Application of 3D Computer Aided System in Dance Creation and Learning
Dance is an art form of body movement accompanied by music rhythm, which has a profound impact on our life. At present, the rapid development of...
-
Close Encounters of the Immersive Kind: Embodied Fundamentals and Future Directions of Affective Virtual Reality (VR) Design
As the virtual reality (VR) landscape has evolved, so too has our understanding of the technology’s greater purposes. Of present interest to...
-
A New Test Case Generation for Web Service Choreography Testing by Using Metaheuristic Algorithm
A gathering of Web services is known as the Web service composition. The collaboration between the taking part Web services influences the testing of...
-
Traffic Simulation and Autonomous Driving Experiment in VIPLE
This paper presents the development of visual programming languages and summarizes the recent research in traffic simulation and autonomous driving...
-
Analysis of Gruneisen Parameter for Carbides and Bromides in Cast Iron
In this current study, we delve into a comparative analysis of the Gruneisen parameter within the context of carbides and bromides embedded in cast...
-
Computable Aesthetics for Dance
We discuss development of a universal conception of what (or if any) part of dance aesthetics is amenable to computation and if there is any, then...
-
Empirical Analysis of Gestural Sonic Objects Combining Qualitative and Quantitative Methods
In this chapter, we describe a series of studies related to our research on using gestural sonic objects in music analysis. These include develo**...
-
Simulation Design of Matching Model Between Action and Music Tempo Characteristics Based on Artificial Intelligence Algorithm
At present, improving the matching between music and dance and the authenticity of dance generation is the focus of related research. Traditional...
-
A Core Reference Model for Applicable Reconfigurable Manufacturing Systems
Reconfigurable Manufacturing Systems (RMS) have emerged as a promising approach to address the dynamic demands and uncertainties in modern...
-
Advanced Computer Science Approaches in Alternative Education
Modern society needs specialists able to adapt to the increasing complexity of developed technologies. The training of these specialists from the...
-
Auto-generation of Smart Contracts from a Domain-Specific XML-Based Language
Smart contracts are a means of facilitating, verifying and enforcing digital agreements. Blockchain technology, which includes an inherent consensus...
-
Planning and Development of the MOOC-DTS “Digital Tutorial Space”: Case Study in a University Tuna
Digital innovation is currently a hallmark of higher education institutions due to the need to remain at the forefront of technology, but also to...
-
Distributed Serverless Computing Orchestration Based on Finite Automaton
This paper describes a method of orchestration and choreography of individual FaaS functions using a control-flow graph and execution based on a...
-
Designing HDS Under Considering of QoS Robustness and Security for Heterogeneous IBN
So-called Intent-Based Networking (IBN) is founded on well-known SDN and represents one of the most important emerging network infrastructure...
-
The Diagram on Stage: Movement, Gesture and Writing
Gilles Châtelet highlighted that the diagram as instrument, object and place of thought (or site with Alexandre Grothendieck) gives access to the...
-
Simulating Idiosyncratic Movement Qualities
Qualitative aspects of body movement play an important role in contemporary dance. These aspects are equally important when creating synthetic...
-
Integration of an IoT Communication Infrastructure in Distributed Production Systems in Industry 4.0
The term Internet of Things (IoT) denotes a communication network, where various Things are interconnected using novel scenario-specific Internet...
-
Resource Oriented Programming: Design Pattern for Describing Restful Service Composition
The COVID-19 pandemic has accelerated digital transformation in the world. A consequence of this pandemic is the growing demand for the development...
-
Application of Graphic Language Automatic Arrangement Algorithm in the Design of Visual Communication
Under the background of the era of reading pictures, the major of visual communication design shows a new development trend, which not only shows...