![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Personalized Quality Centric Service Recommendation
The broad application of service-oriented architecture (SOA) has fueled the rapid growth of web and cloud services and service-based systems (SBSs). Tremendous web and cloud services have been deployed all ove...
-
Chapter and Conference Paper
An Embedding Based Factorization Machine Approach for Web Service QoS Prediction
As an important property of Web services, Quality of Service (QoS) is usually engaged for describing the non-functional characteristics of Web services. However, QoS value is considerable sparse since users on...
-
Chapter and Conference Paper
Research on Digital Agricultural Information Resources Sharing Plan Based on Cloud Computing
In order to provide the agricultural works with customized, visual, multi-perspective and multi-level active service, we conduct a research of digital agricultural information resources sharing plan based on c...
-
Chapter and Conference Paper
Analysis of the Rigidity of Arc Flexible Hinge with Different Geometrical Parameters
Flexible hinges are widely used in micro robotic. Its rigidity directly influences an organization’s terminal localization. Its actual structure geometry size cannot satisfy the theoretical analysis completely...
-
Chapter and Conference Paper
Water-Saving Irrigation Management and Decision Support System Based on WEBGIS
To improve the management of irrigation district is a key to develop water-saving agriculture. Based on the basic principles of water-saving irrigation, and using the method of Modified Penman Monteith and wat...
-
Chapter and Conference Paper
Implementation of Business Process Reengineering Based on Workflow Management
To achieve better performance of BPR, workflow management is integrated with BPR based on the core idea and steps of BPR. Main problems of hotel business process are studied, at the same the characteristics an...
-
Chapter and Conference Paper
Counter-Example Guided Fence Insertion under TSO
We give a sound and complete fence insertion procedure for concurrent finite-state programs running under the classical TSO memory model. This model allows “write to read” relaxation corresponding to the addition...
-
Chapter and Conference Paper
Design Improvement Requirements for the Upper Extremity Rehabilitation Devices in Taiwan
This study aims to survey the most frequently used upper extremity rehabilitation devices (UERD) in Taiwan and how well their design meet the practical requirements of rehabilitation therapy. A questionnaire w...
-
Chapter and Conference Paper
IT Governance Framework Adoption: Establishing Success Factors
The spectacular corporate collapses over the past decade, along with the introduction of the Sarbanes-Oxley Act and similar legislations across the world, have promoted significant awareness of IT governance. ...
-
Chapter and Conference Paper
An Empathic Approach in Assistive Technology to Provide Job Accommodations for Disabilities
When the psychologist Abraham Maslow first defined the five levels of human need in 1943, people started to realise how human needs should be fulfilled and many products have since been designed to fulfill the...
-
Chapter and Conference Paper
Investigation of the Methods for Tool Wear On-Line Monitoring during the Cutting Process
This paper is well targeted in researching several researches of various tool wear monitoring methods in domestic and foreign. Five important tool wear methods are deeply investigated and described in detail. ...
-
Chapter and Conference Paper
Automated Assume-Guarantee Reasoning through Implicit Learning
We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L * algorithm — a learning algorithm for finite automa...
-
Chapter and Conference Paper
When Simulation Meets Antichains
We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichai...
-
Chapter and Conference Paper
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing
There are two main classes of methods for checking universality and language inclusion of Büchi-automata: Rank-based methods and Ramsey-based methods. While rank-based methods have a better worst-case complexi...
-
Chapter and Conference Paper
A Browser Compatibility Testing Method Based on Combinatorial Testing
For ensuring the displaying effects of Web applications, it is important to perform compatibility testing for browsers under the different configurations and it is a hard task to test all. So this paper focuse...
-
Chapter and Conference Paper
Architecture of TsinghuAeolus
RoboCup Simulation Server provides a wonderful challenge for all the participants. This paper explains key technology implemented by Tsinghuaeolus RoboCup team played in RoboCup environment, including basic ad...
-
Chapter and Conference Paper
Global Planning from Local Eyeshot: An Implementation of Observation-Based Plan Coordination in RoboCup Simulation Games
This paper presents a method of implementing distributed planning in partial-observable, low communication bandwidth environments such as RoboCup simulation games, namely, the method of global planning from lo...