Software 2013 Issue 1 Indirect Computing Model with Indirect Formal Method

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Software
1003-6970
2013 Issue 1

Indirect Computing Model with Indirect Formal Method
LI Shu-jie;ZHAO Qing-juan;WANG Lei;HAO Sheng-nan

..............page:7-8

Design and Implementation of “Batch”Information management for 3D Model PLM
JIANG Zi-yang 1 ; LIU Wu-gui 1 ; CHENG Yun 2

..............page:34-38

Application of VisIt to Develop Numerical Simulation Post-processing Module
WANG Yan-hong; TIAN Chuan-yan; YANG Ping-li; YUAN Yuan

..............page:163-167

Technical Study on Information Security Problem of Computer
HUANG Cun-dong

..............page:140-141

Research on campus network upgrade of city-level TV University
WU Shao-jia

..............page:69-71

A localization algorithm for gas leakage source based on Wireless sensor network
QIN Xiao-xin;WANG Wen-jun;YIN Chang-chuan

..............page:111-115

Research of Archives Information Risk Evaluation Method Based on Fault Tree Analysis
LIU Jing; ZHANG Xue-jun

..............page:72-74

Research on the Training Mode of Applied Talents for the Major of Network Engineering
CUI Yan-rong

..............page:173-174

Design and Implementation of a Music Robot based on striking keys
HAN Xin-bin; WANG Chen-sheng

..............page:1-3

Display and hide the automatic conversion of resources
KANG Xiao-lan; LI Jun-jian; WANG Li-mei

..............page:93-94,110

Higher vocational education to provide online training platform services research
MA Yan-hong

..............page:75-76

zhong guo gong cheng yuan yuan shi ti ci

..............page:3-4

Application of data mining techniques in the assessment of insurance company customers
GE Chun-yan

..............page:116-118

Application of edge detection algorithm in image processing
ZHONG Cai

..............page:158-159

Linear Equations Based on Message Passing Interface Parallel Computing Research
LIU Cheng-jun

..............page:119-120

Noise Analysis of External Modulating Microwave Fiber Delay Line Based on Simulink
ZHANG Xiao-qing; TIAN Shu-rong; XIAO Lu-yang; LIU Chang; SUN Xin

..............page:79-81

Examination and Realization of Meteorological Facsimile Chart Format Conversion
YAN Jun 1 ;ZHANG Hong-xin 2 ;LIU Jun 3 1 2 3

..............page:155-157

On the Web Interface Design ideas and realization
ZHANG Hui

..............page:102-103

The Using of Class Member in Object-oriented Programming C++
YU Ming

..............page:47-49

ruan jian za zhi tou gao xu zhi

..............page:180

Based on the design of AutoCAD’s cam profile curve
ZHANG Hui-ru

..............page:87-88,148

Based on virtualization System and business quick recovery
LIU Jia

..............page:146-148

Methods and Skills of Photoshop to create a Constituency
YANG Qun-lin

..............page:160-162

Teaching Suggestion of C Programming Language
SHI Jian-lan;HUANG Wen-xiu;YANG Li-juan

..............page:171-172

Wireless sensor nodes design based on Wi-Fi module
GU Shu-wei;BIE Hong-xia

..............page:60-63

Fusion for objects with MVC framework
LI Shao-hui

..............page:82-84,132

Analysis of primary software and choice of Computerization teaching software in Computerization teaching in vocational colleges
ZHANG Li

..............page:108-110

The Staff Information Docking Technology Research of The Construction of Digital Campus
XU Hua

..............page:95-97

The Design of the Network Equipment Intelligent Configuration Management System Based on PHP
AO Lei;XIAO Da-wei

..............page:9-10,25

Gender Recognition by MULBP
Yudian JI; Chuang GAN

..............page:152-154

Analysis on the Defense of Network Behavior Analysis Based on Cross-Site Attack
WANG Xiao-jun

..............page:142-143

Research and Design of Community health service center’s Medical Management System
ZHANG Cui-ping

..............page:20-21

A distributed memory database integrated with messaging and timer services
ZHOU Jing-hui Co. Ltd.; Shanghai 201203; China)

..............page:89-92

The Design of Wireless Sensor Network Data Retrieve Management Software
BAI Yang; BIE Hong-xia

..............page:26-29

Students’ Psychological Crisis Early Warning System Based on Network Studies
ZHOU Zhen-jun 1 ;WANG Jie-min 1 ;WU LI-li 2

..............page:77-78,128

Realization of Internet of things based on PLC technology
ZHOU Ping-ping

..............page:104-105

Synthesis and Photoelectrochemical Properties of CdSe/TiO₂ Nanotubes Array Coaxial Heterojunction
LIU Yong; ZHU Wen; MA Jian

..............page:50-55

The Innovative Practice and Exploration of the Data Structure Course’s Teaching and Learning Based on the View of Large Projects
LIU Bo 1;2 ; SHEN Yue 1 ; Dai Xiao-Peng 1 ;ZENG Ying 2

..............page:168-170

Study and Implementation of NFC technology based on Android mobile OS
SHI Xu-dong

..............page:64-68

Experiment Research On using VB to Construct Decision Tree
LIU Jun

..............page:175-178

Exploration of regional health information technology
MAO An 1 ; ZHU Jian-guang 2 1 2

..............page:100-101

Talk Lightly about Design Idea of Students’Management System in the New Informationalized Environment
WU Ting

..............page:14-16

Geometric Calibration Method of Dental-CT Based on Ellipse Parameters
SHI Hong

..............page:125-128

Construction of office automation network conditions
LI Jian-xin

..............page:98-99

Virtual Scenic Spots Development Research
WANG Xue

..............page:85-86

Research-based the XML electronic medical records system and its intercollegiate information sharing technology
WU Feng

..............page:106-107

Exploration of base station temperature measurement and control based on DS18B20
Liu Feng; WANG Chen-sheng; Yang Guang; Guo Shi-long;Zhong Xing-zhi

..............page:39-40,74

Storage Architecture Analysis and Design Based on Network Testbed
ZHAO Xin ;KE Hong-li

..............page:4-6

Computer networks and prevention technology research
LIN Deng-kui

..............page:144-145

Design and Application of Hospital PACS/RIS System
CAI Yan

..............page:11-13

The Application of Virtual Reality Technology in Computer Network Platform
DU Shao-kun

..............page:45-46

Investigation on All-Optical Buffer System Based on Gain-Transparent SOA
ZHANG Qi; WANG Kui-ru State Key Laboratory of Information Photonics and Optical Communications;Beijing 100876;China)

..............page:133-137

Mesh Load Balancing Route Strategy with Congestion Aware
FENG Wei;BIE Hong-Xia

..............page:56-59

Text Trademark Detection Based on the SVM
CHEN Yan-qin

..............page:149-151,170

Organization Members Mining on Micro-Blogs
ZHANG Zhen-hua;LIU Rui-fang

..............page:121-124

Teaching calendar generation system based on Visual C#
TANG Xue-ling

..............page:41-44

Build unified authentication system based on a distributed SOA architecture
QIAN Xin;LUO Sha-bai;LU Kang-quan

..............page:17-19

The Simulation Design of Machine Control System Based on Simulink
WU Jian-wei 1 ;ZHANG Wei-hong 2 ;QIN Xian-jiang 1 1 2

..............page:138-139

Research and design of Wireless Sensor Network management system based on ZigBee
LAN Hong-zhong; LUO Hong

..............page:30-33,71

Improved Address Allocation Mechanism and Tree Routing Algorithm for ZigBee
YIN Jia;BIE Hong-Xia

..............page:129-132

Design and Analysis of a Novel Wavelength-selelctive Waveguide Photodetector
LIU Fei; HUANG Yong-qing; HU Fu-quan

..............page:22-25