Titlebook: Context-Aware Systems and Applications; Second International Phan Cong Vinh,Vangalur Alagar,Ashish Khare Conference proceedings 2014 ICST I

orthopedist

Human Object Classification in Daubechies Complex Wavelet Domaint classification, which classify the objects into two classes: human and non-human. The proposed method uses Daubechies complex wavelet transform coefficients as a feature of object. Daubechies complex wavelet transform is used due to its better edge representation and approximate shift-invariant pr

發(fā)源

An Efficient Method for Automated Control Flow Testing of Programsx techniques in order to minimize the complexity of white-box testing. Instead of performing black-box and white-box separately, the proposed method uses the test inputs that are generated by black-box to reduce searching space of white-box testing. The method then continually eliminates arcs in rem

窩轉(zhuǎn)脊椎動物

Nibble

A Method and Tool Support for Automated Data Flow Testing of Java Programs uses of data values due to coding errors. Given source code of a Java program, the proposed method analyzes and visualizes the program as a data flow graph. All test paths for covering all definition-use pairs of all variables are then generated. A test case corresponding to each generated test pat

過度

Rule-Based Techniques Using Abstract Syntax Tree for Code Optimization and Secure Programming in Javfor estimating quality of software systems. The security ensures that application will work correctly and the optimization reduces the amount of resources needed: computation, memory, size of code, etc. Those techniques can be done by applying rules in abstract syntax tree, a tree representation of

背帶

Overall Security Solutions for OPC UA Based Monitoring and Control Applicationastructure following the industrial standard OPC UA, in order to create a new environment providing monitoring, controlling and managing industrial manufacturing system effectively. In this paper, we propose a framework based on the combination between SOA and OPC UA for the designing, improving sof

Neuropeptides

Conference proceedings 20143, held in Phu Quoc Island, Vietnam in November 2013. The 36 revised full papers presented were carefully selected and reviewed from over 100 submissions and cover a wide spectrum of issues in the area of context-aware systems (CAS) and context-based recommendation systems.

collagen

barium-study

Yuyi Zhong,Quang-Trung Ta,Siau-Cheng Khooh are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of . models using existing model checking techniques.

Exuberance