-
Chapter and Conference Paper
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation
CPArec is a tool for verifying recursive C programs via source-to-source program transformation. It uses a recursion-free program analyzer CPAChecker as a black box and computes function summar...
-
Chapter and Conference Paper
Commutativity of Reducers
In the Map-Reduce programming model for data parallel computation, a reducer computes an output from a list of input values associated with a key. The inputs however may not arrive at a reducer in a fixed orde...
-
Chapter and Conference Paper
Dynamic Adaptation of Business Process Based on Context Changes: A Rule-Oriented Approach
In a dynamic environment, business process needs to be adjusted and evolved in response to the changeable internal policies and external environment. However, it is a time-consuming and laborious way by redesi...
-
Chapter and Conference Paper
The Effect of Stress on Cognitive Load Measurement
Human physiological signals have been widely used to non-invasively measure cognitive load (CL) during task execution. A major challenge for CL detection is the presence of stress, which may affect physiologic...
-
Chapter and Conference Paper
BULL: A Library for Learning Algorithms of Boolean Functions
We present the tool BULL (Boolean fUnction Learning Library), the first publicly available implementation of learning algorithms for Boolean functions. The tool is implemented in C with interfaces to C++, JAVA...
-
Chapter and Conference Paper
GSR and Blink Features for Cognitive Load Classification
A system capable of monitoring its user’s mental workload can evaluate the suitability of its interface and interactions for user’s current cognitive status and properly change them when necessary. Galvanic sk...
-
Chapter and Conference Paper
Public Information System Interface Design Research
The diversity of users’ cognitive skills remains the challenge of public information system interface design. In this paper, we focus on the universal interaction design method for public information systems l...
-
Chapter and Conference Paper
Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management
With the rapid application of cloud computing technologies, service and data outsourcing has become a practical and useful paradigm. In order to manage sensitive information in this outsourcing scenario, combi...
-
Chapter and Conference Paper
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
We introduce Memorax, a tool for the verification of control state reachability (i.e., safety properties) of concurrent programs manipulating finite range and integer variables and running on top of weak memory m...
-
Chapter and Conference Paper
An End-User Oriented Approach for Business Process Personalization from Multiple Sources
Current service oriented enterprise business process modeling and development technology is conducted by professional IT department, which cannot fulfill the growing requirements of personalized business appli...
-
Chapter and Conference Paper
WT-LDA: User Tagging Augmented LDA for Web Service Clustering
Clustering Web services that groups together services with similar functionalities helps improve both the accuracy and efficiency of the Web service search engines. An important limitation of existing Web serv...
-
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
WSTRank: Ranking Tags to Facilitate Web Service Mining
Web service tags, terms annotated by users to describe the functionality or other aspects of Web services, are being treated as collective user knowledge for Web service mining. However, the tags associated wi...
-
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
An Ontology-Based IoT Resource Model for Resources Evolution and Reverse Evolution
In view of the characteristics of Internet of Things (IoT), the current architectures could not effectively use and manage IoT resources and information. Numerous projects in the area of IoT have proposed arch...
-
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
Learning Boolean Functions Incrementally
Classical learning algorithms for Boolean functions assume that unknown targets are Boolean functions over fixed variables. The assumption precludes scenarios where indefinitely many variables are needed. It a...
-
Chapter and Conference Paper
Pupillary Response Based Cognitive Workload Measurement under Luminance Changes
Pupillary response has been widely accepted as a physiological index of cognitive workload. It can be reliably measured with remote eye trackers in a non-intrusive way. However, pupillometric measurement might...