掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Confernece on Computer and Information Science
International Confernece on Computer and Information Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
305
条结果
1.
Efficient Heuristic Algorithm for Rapid Custom-Instruction Selection
机译:
快速定制 - 教学选择的高效启发式算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
data flow graphs;
directed graphs;
instruction sets;
microprocessor chips;
computing model;
custom-instruction generation;
dataflow graph;
directed acyclic graph;
hardware area constraint;
hardware implementation;
heuristic algorithm;
high-quality approximate solution;
processor custom-instruction set selection;
Custom instruction;
extensible processors;
heuristic;
instruction-set extensions;
selection algorithm;
2.
Research on Numerical Module Identification Approaches
机译:
数字模块识别方法研究
作者:
Quan Shan
;
Yan Chen
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Modular design;
Module identification;
Improved PSO;
3.
A Route Planning Optimization Model Based on Improved Ant Colony Algorithm
机译:
一种基于改进蚁群算法的路径规划优化模型
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
convergence;
military systems;
mobile robots;
optimisation;
path planning;
ant colony algorithm;
combat planning;
global convergence;
military operation;
route planning optimization model;
global convergence performance;
improved ant colony algorithm;
optimization;
route planning;
4.
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking
机译:
通过对称性破坏解决全球无约束优化问题
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
graph theory;
optimisation;
search problems;
global unconstrained optimization problems;
graph automorphism;
search space;
symmetry-breaking;
global optimization;
5.
Reducing Web Latency in Mobile Network
机译:
减少移动网络中的Web延迟
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Internet;
hypermedia;
mobile communication;
radio access networks;
transport protocols;
HTTP specific acceleration;
TCP optimization;
Web latency reduction;
cooperative proxy;
mobile network;
wireless link;
wireless network;
HTTP;
cooperative;
proxy;
web acceleration;
6.
A New Anomaly Detection Method Based on Rough Set Reduction and HMM
机译:
一种基于粗糙集减速和肝振振的新异常检测方法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
hidden Markov models;
rough set theory;
security of data;
anomaly detection;
hidden Markov model;
intrusion detection;
network security;
rough set reduction;
decision condition;
system call;
7.
Technique of Large-scale Image Set Construction Based on Web Image Searching Engine
机译:
基于Web图像搜索引擎的大规模图像集结构技术
作者:
Ran Li
;
Weiguang Xu
;
Jianjiang Lu
;
Yafei Zhang
;
Zining Lu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Large-scale image set;
Genetic Selection;
Reranking;
Relevance Feedback;
8.
A Novel Rate Control Scheme for H.264/AVC Based on Scene Change
机译:
基于场景变化的H.264 / AVC的新型速率控制方案
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
image motion analysis;
quantisation (signal);
sequences;
video coding;
H.264/AVC;
bit allocation scheme;
coded sequences;
image quality;
intracoded frames;
intraframe rate-quantization model;
peak signal-to-noise ratio;
quantization parameters;
rate control scheme;
PSNR;
R-Q model;
Scene Change;
9.
Study of Intelligent Control System for Ship Autopilot Design
机译:
船舶自动驾驶仪设计智能控制系统研究
作者:
Wang Minghui
;
Yu Yongquan
;
Zeng Bi
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Intelligent control;
Fuzzy control;
Neurofuzzy;
Ship autopilot;
10.
Efficient Estimation of Multiple Illuminant Directions Using C-means Clustering and Self-correction for Augmented Reality
机译:
使用C-Means聚类和增强现实的自我校正有效地估计多个光源方向
作者:
Jintao Ma
;
Ya Zhou
;
Qun Hao
;
Yang Zhang
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
C-means clustering;
Multiple illuminant directions;
Augmented reality;
11.
Monitoring End-to-End Quality of Service in a Video Streaming System
机译:
在视频流系统中监视端到端的服务质量
作者:
L. Lehikoinen
;
T. Raty
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Internet applications;
Passive monitoring;
QoS;
12.
An Energy Efficient MAC Protocol For WSNs
机译:
用于WSN的能量高效MAC协议
作者:
Zheng Guan
;
Dongfeng Zhao
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
MAC;
Wireless sensor network;
Energy efficiency;
Performance analyses;
13.
User-interface Design of Web Application Using Object-Z
机译:
使用对象-Z的Web应用程序的用户界面设计
作者:
Bin Zhu
;
Huaikou Miao
;
Bo Song
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
User-interface;
Web application;
Object-Z;
UAN;
14.
A Noise Insensitive Cluster Validity Measure for Pattern Classification
机译:
模式分类的噪声不敏感集群有效度量
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Gaussian processes;
data mining;
pattern classification;
Gaussian kernel;
cluster validity index;
knowledge discovery;
noise insensitive cluster validity measure;
Classification;
Cluster analysis;
Cluster validity indices;
DB index;
K-means;
15.
Throughput Analysis of Wireless Multi-hop Chain Networks
机译:
无线多跳链网络的吞吐量分析
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
radio networks;
telecommunication network routing;
telecommunication traffic;
M/M/1 model;
traffic-analysis-based model;
wireless multihop chain network;
16.
On the Capability Compliance of Annotated Process Model
机译:
关于注释过程模型的能力合规性
作者:
Ping Gong
;
Keqing He
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
17.
A Logical and Graphical Operation of a Graph-based Data Model
机译:
基于图形的数据模型的逻辑和图形操作
作者:
Teruhisa Hochin
;
Hiroki Nomiya
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Database;
Data model;
Operation;
Graph;
18.
Autogeneration of Database Applications from XML Metadata for Web-Based Data Entry
机译:
来自XML元数据的数据库应用程序自动化基于Web的数据输入
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Internet;
XML;
database management systems;
medical administrative data processing;
AutoGen;
Web-based data entry;
Web-based database;
XML metadata;
biomedical research;
metadata specification method;
model-view-controller;
patient-related data;
template technology;
Develop Web-based Database Application;
Model View Control;
Template;
19.
Model Concept to Determine the Optimal Maturity of IT Service Management Processes
机译:
模型概念来确定IT服务管理流程的最佳成熟度
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
ISO standards;
Web services;
program verification;
ISO 20000 standard;
IT operations field;
IT service management processes;
high quality services;
optimal maturity;
Cost Minimization;
ISO 20000;
IT Service Management;
Model;
20.
The Design and Realization of Unicode based Minorities Character Online Processing System
机译:
基于Unicode的少数群体在线处理系统的设计与实现
作者:
Kurban Ubul
;
Askar Hamdulla
;
Winira Musajan
;
Abdiryim Raxidin
;
Patigul Mamat
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Multilingual;
Double directional text;
Auto type selection formatting;
Unicode;
21.
Transaction Level Modeling for Early Verification on Embedded System Design
机译:
嵌入式系统设计早期验证的交易级模型
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
electronic design automation;
embedded systems;
hardware description languages;
logic partitioning;
logic testing;
EDA industry;
ESL definition;
HW/SW partitioning;
early verification;
electronic system level;
embedded system design verification;
hardware description language;
register transfer level;
time-to-market pressure;
transaction level modeling;
Electronic System Level (ESL);
Register Transfer level (RTL);
SystemC;
Transaction Level Modeling(TLM);
22.
Detecting Race Conditions in One-Sided Communication of MPI Programs
机译:
检测MPI程序的片面通信中的竞争条件
作者:
Mi-Young Park
;
Sang-Hwa Chung
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
23.
A Heuristic QoS-Aware Service Selection Approach to Web Service Composition
机译:
一种启发式QoS感知服务选择方法到Web服务组合
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Web services;
decision making;
quality of service;
resource allocation;
MCDM technique;
Web service composition;
application integration;
convex hull frontiers method;
heuristic QoS-aware service selection approach;
mathematical model;
multiple criteria decision making;
quality-of-service;
resource sharing;
QoS;
Web service;
convex hull;
selection algorithm;
24.
Quality of Protection with Performance Analysis in IP Multimedia Subsystem
机译:
IP多媒体子系统性能分析的保护质量
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
IP networks;
Petri nets;
multimedia communication;
queueing theory;
telecommunication security;
IP multimedia subsystem;
next generation multimedia communication;
performance analysis;
quality of protection;
queuing Petri nets;
security mechanism;
security threats;
system performance metrics;
IMS;
Performance Evaluations;
QPN Modeling;
QoP;
Security Partition;
25.
Current Practice, Problems and Factors in COSD Application: A Component Users Perspective
机译:
COSD应用中的当前实践,问题和因素:组件用户的视角
作者:
Hazleen Aris
;
Faridah Hani Mohamed Salleh
;
Zailani Ibrahim
;
Siti Salwah Salim
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Component-oriented;
Current state;
COSD application;
COSD survey;
COSD research areas;
26.
A Novel Trust Model Based on Bayesian Network for Service-Oriented Grid
机译:
基于贝叶斯网络的面向服务网格的新型信任模型
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Web services;
belief networks;
grid computing;
peer-to-peer computing;
problem solving;
security of data;
software architecture;
Bayesian network;
P2P network;
Web service;
resource sharing;
resources capabilities;
satisfactoriness of service;
service composition;
service selection;
service-oriented grid;
trust model;
trustworthiness of service;
users satisfaction;
qos;
service oriented grid;
trustworthiness;
27.
PLSA-Based Query Expansion
机译:
基于PLSA的查询扩展
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
probability;
query processing;
factor analysis;
generative model;
information retrieval;
likelihood principle;
probabilistic latent semantic analysis;
query expansion;
statistical foundation;
word mismatch;
PLSA;
28.
Enabling Grid Interoperability by Extending HPC-driven Job Management with an Open Standard Information Model
机译:
通过使用开放标准信息模型扩展HPC驱动的作业管理,实现网格互操作性
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
grid computing;
open systems;
scientific information systems;
software architecture;
HPC-driven job management;
e-science infrastructure;
grid interoperability;
open grid services architecture;
open standard information model;
GLUE;
HPC;
HTC;
OGSA-BES;
interoperability reference model;
29.
MuTT: a Multi-Threaded Tracer for Java Programs
机译:
mutt:用于Java程序的多线程示踪剂
作者:
Dapeng Liu
;
Shaochun Xu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Tracing tool;
Java program;
Case studies;
30.
Three-Dimensional Reconstruction Using Enhanced Shape from Stereo Technique
机译:
立体技术增强形状的三维重建
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
image matching;
image reconstruction;
solid modelling;
stereo image processing;
3D model;
3D reconstruction;
flat 2D images;
stereo images;
correspondence problem;
disparity map;
feature-based matching;
31.
An Efficient Algorithm to Mine Unordered Trees
机译:
矿井无序树的有效算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
data mining;
tree data structures;
very large databases;
UTMiner;
database scanning;
hash table;
isomorphism time;
large database;
multilayered data structure;
standardized subtrees;
subtree vector;
unordered trees miner;
unordered trees standardization;
frequent subtree;
unordered tree;
32.
Cluster Based Partition for Multi-dimensional Range Query in DAS Model
机译:
基于群集的DAS模型中的多维范围查询分区
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
cryptography;
database indexing;
pattern clustering;
query processing;
DAS model;
Hilbert based algorithm;
NP-hard;
cluster based multidimensional partition;
cluster criteria;
data distribution;
database management;
database-as-a-service;
distance based algorithm;
encrypted data querying;
full neighbor;
heuristic based algorithm;
information leakage;
multidimensional range query;
optimal secure partition;
partition based index;
Cluster;
DAS;
Database security;
Multi-dimensional partition;
33.
A New Suggestion for Data Clustering
机译:
对数据聚类的新建议
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
data compression;
pattern clustering;
codeword;
data clustering;
line-of-symmetry approach;
lossy data compression;
Vector Quantization;
k-means algorithm;
34.
Object-oriented Case Representation and Its Application in IDS
机译:
面向对象的病例表示及其在ID中的应用程序
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
case-based reasoning;
knowledge representation;
object-oriented programming;
security of data;
alarm problem;
attribute-value case representation;
case based reasoning;
class hierarchy;
constraint rules;
domain knowledge;
interclass similarity;
intraclass similarity;
intrusion detection system;
object-oriented case representation;
object-oriented model;
structural information;
Intrusion detection;
Object oriented case representation;
35.
Measuring User Prestige and Interaction Preference on Social Network Site
机译:
测量用户声望和社交网站上的互动偏好
作者:
Lailei Huang
;
Zhengyou Xia
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Social network site;
Data collection;
Data mining;
Social network analysis;
Interaction prestige;
36.
Multi-Tier Security Feature Modeling for Service-Oriented Application Integration
机译:
用于服务导向应用程序集成的多层次安全功能型号
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Web services;
formal specification;
message authentication;
software architecture;
DoS;
SOA;
SOAP message specification;
WS-security;
Web service;
denial-of-service attack;
multitier security feature modeling;
sensitive data leakage;
service oriented architecture application integration;
specific application domain;
DoS attacks;
SOA security;
Security architecture;
Web services firewall;
37.
A MAC Protocol for Cooperative Wireless Networks
机译:
合作无线网络的MAC协议
作者:
Kefei Lu
;
Xiaodong Cai
;
Xudong Wang
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
38.
An Eliminating Causal Ambiguity Approach to Reactive Systems
机译:
一种消除反应系统的因果歧义方法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
bisimulation equivalence;
alternative operational semantics;
branching-time equivalence;
eliminating causal ambiguity approach;
event structure;
history preserving bisimulation equivalence;
linear-time equivalence;
partial order semantic;
pomset trace equivalence;
reactive system;
causal ambiguity;
event structure with causal ambiguity;
operational semantic;
39.
A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit
机译:
管道单元的覆盖驱动约束基于随机的功能验证方法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
design for testability;
hardware description languages;
logic design;
microprocessor chips;
pipeline processing;
SystemVerilog;
classification trees;
coverage-driven constraint random-based functional verification;
design under test;
microprocessor;
pipeline unit;
system bugs;
verification methodology manual;
VMM;
functional verification;
40.
A MAC Protocol for Cooperative Wireless Networks
机译:
合作无线网络的MAC协议
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
access protocols;
channel coding;
decoding;
error correction codes;
radio networks;
wireless channels;
IEEE 802.11 network;
MAC protocol;
channel access;
cooperative communication;
cooperative wireless network;
deterministic backoff scheme;
error correcting code;
information bit decoding;
information bit re-encoding;
medium access control protocol;
minimum signaling overheard;
multiple node cooperation;
network coverage;
packet retransmission;
system throughput;
MAC;
41.
Multi-Tier Security Feature Modeling for Service-Oriented Application Integration
机译:
用于服务导向应用程序集成的多层次安全功能型号
作者:
Fengyu Zhao
;
Xin Peng
;
Wenyun Zhao
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
42.
Autonomicity in Universal Database DB2
机译:
通用数据库DB2中的自主性
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
database management systems;
fault tolerant computing;
IBM universal database management system DB2;
autonomic computing;
human intervention;
self-management system;
DB2;
Optimization;
Oracle;
43.
SaViT: Technique for Visualization of Digital Home Safety
机译:
保存:数字家庭安全可视化技术
作者:
Pushpa Kumar
;
Nary Subramanian
;
Kang Zhang
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Safety;
Visualization;
Home;
Technique;
Interface;
44.
Selecting Relevant EEG Signal Locations for Personal Identification Problem Using ICA and Neural Network
机译:
使用ICA和神经网络选择有关个人识别问题的相关EEG信号位置
作者:
P. Tangkraingkij
;
C. Lursinsap
;
S. Sanguansintukul
;
T. Desudchit
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Electroencephalogram;
Independent Component Analysis;
Neural Network;
Pattern-recognition;
45.
Spatial Navigation with Consistency Maintenance System
机译:
具有一致性维护系统的空间导航
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
fuzzy logic;
fuzzy reasoning;
natural language processing;
consistency maintenance system;
fuzzy assumption-based truth management system;
fuzzy logics;
image synthesis system;
natural language semantics;
natural language sentences;
reasoning system;
spatial reasoning;
two-valued logics;
Natural language understanding;
Picture Generation;
Two-valued logic;
46.
MUPRET: An Ontology-Driven Traceability Tool for Multiperspective Requirements Artifacts
机译:
MUPRET:用于多射程要求工件的本体驱动可追溯性工具
作者:
Namfon Assawamekin
;
Thanwadee Sunetnanta
;
Charnyote Pluempitiwiriyawej
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Requirements traceability;
Multiperspective software development;
Ontology;
Interoperability;
Knowledge management;
47.
Adding SVC Spatial Scalability to Existing H.264/AVC Video
机译:
将SVC空间可扩展性添加到现有的H.264 / AVC视频中
作者:
Ravin Sachdeva
;
Sumit Johar
;
Emiliano Piccinelli
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
SVC;
H.264/AVC;
Digital Video;
Spatial Scalability;
PSNR;
48.
Performance Analysis of IEEE 802.11 DCF in Multi-hop Ad Hoc Networks
机译:
多跳ad hoc网络中IEEE 802.11 DCF的性能分析
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
ad hoc networks;
delays;
probability;
wireless LAN;
IEEE 802.11;
distributed coordination function;
enhanced distributed channel access;
minimum contention window;
multihop ad hoc network;
packet delay jitter;
packet loss probability;
performance analysis;
802.11 DCF;
Ad Hoc;
Delay;
Delay jitter;
49.
The Design and Realization of Unicode Based Minorities Character Online Processing System
机译:
基于Unicode的少数群体在线处理系统的设计与实现
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
natural language processing;
text analysis;
B-S model;
JavaScript;
Kazak;
Kirgiz;
Uyghur;
auto type selection;
character online processing system;
minority scripts;
unicode based minorities;
Multilingual;
Unicode;
auto typeselection formatting;
double directional text;
50.
Novel Protocol and Its Implementation QKD in Wi-Fi Networks
机译:
新型协议及其实施QKD在Wi-Fi网络中
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
authorisation;
cryptographic protocols;
message authentication;
quantum cryptography;
telecommunication security;
wireless LAN;
802.11 wireless network;
802.1X port-based network access control;
QKD;
Wi-Fi network;
mutual authentication;
protocol;
quantum key distribution;
quantum message integrity code;
secure communication;
BB84;
Wi-Fi;
51.
An Eliminating Causal Ambiguity Approach to Reactive Systems
机译:
一种消除反应系统的因果歧义方法
作者:
Houguang Yue
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Reactive system;
Causal ambiguity;
Event structure with causal ambiguity;
Partial order semantic;
Operational semantic;
52.
Floating-point to Fixed-point Transformation Using Extreme Value Theory
机译:
利用极值理论浮点对定点变换
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
digital signal processing chips;
fixed point arithmetic;
communication algorithms;
digital signal processing;
extreme value theory;
fixed-point arithmetic;
fixed-point transformation;
floating-point transformation;
fractional bit-widths;
lightweight simulations;
optimal integer;
High-level synthesis;
bit-width optimization;
floating-point to fixed-point transformation;
53.
Current Practice, Problems and Factors in COSD Application - A Component Users Perspective
机译:
COSD应用中的当前实践,问题和因素 - 组件用户视角
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
object-oriented programming;
software engineering;
COSD;
component-oriented software development;
software components;
component-oriented;
current state;
54.
A General Attack Against Several Group Signatures
机译:
对几个群体签名的一般攻击
作者:
Zhengjun Cao
;
Lihua Liu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Group signature;
Traceability;
Randomly disturbing attack;
55.
Efficient Processing of XML Twig Queries with All Predicates
机译:
高效地处理XML Twig查询的所有谓词
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
XML;
database management systems;
formal logic;
pattern recognition;
query processing;
trees (mathematics);
MPTwig;
XML database;
XML twig queries;
XPattern;
logic predicates;
tree pattern;
twig pattern;
encoding scheme;
predicates;
twig query;
56.
Research on Fault-tolerant Mechanism for Integrating Water-Domain Oriented Computing Resources
机译:
集成水域化计算资源的容错机制研究
作者:
Ling Shang
;
Zhijian Wang
;
Xiaohong Zhang
;
Junjie Wang
;
Zhizhong Liu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Fault tolerance;
Water-domain oriented;
Volatile;
Matchmaking;
Computing resources integrated;
57.
Feature Selection Algorithm Based on Association Rules Mining Method
机译:
基于关联规则挖掘方法的特征选择算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
data mining;
artificial data sets;
association rules mining;
class attribute;
feature selection;
Apriori algorithm;
association rules;
machine learning;
58.
MVGL Analyser for Multi-classifier Based Spam Filtering System
机译:
基于多分类器的垃圾邮件过滤系统的MVGL分析器
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
classification;
information filtering;
unsolicited e-mail;
MVGL analyser;
grey list analyzer;
majority voting algorithm;
majority voting grey list;
multiclassifier based classification;
multiclassifier based spam filtering system;
ranked MV;
simple MV;
unsolicited email message;
FP;
GL analyzer;
MVGL;
Multi-classifier;
Spam;
59.
Algorithms for Scheduling Distributed Tasks of Ordered Communication on a Realistic Model of Heterogeneous Grids
机译:
用于在异构网格的现实模型上调度有序通信的分布式任务的算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
distributed algorithms;
grid computing;
resource allocation;
scheduling;
COB schedule task;
CPOP algorithm;
DDR schedule task;
HEFT algorithm;
communication-order based algorithm;
delayed downward ranking scheduling algorithm;
distributed resource;
distributed scheduling algorithm;
heterogeneous grid realistic model;
message-sending order;
ordered communication mode;
programming syntax;
communication;
distributed;
model;
scheduling algorithm;
60.
A Research of Cognitive Models for CGF in Tank Member
机译:
罐构件CGF认知模型的研究
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
cognition;
military computing;
military vehicles;
software agents;
tracked vehicles;
agent system;
behavioral effect prediction;
behaviors moderator;
cognitive model;
land battle tank member;
mental burden;
mission failure;
tank member simulation;
task performance analysis;
land battle;
simulator;
tank member;
61.
Implementation of Recurrence Calculation on a Heterogeneous Multicore Processor
机译:
异构多核处理器复发计算的实现
作者:
Akiyoshi Wakatani
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
62.
Implementation of Recurrence Calculation on a Heterogeneous Multicore Processor
机译:
异构多核处理器复发计算的实现
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
microprocessor chips;
parallel processing;
heterogeneous multicore architectures;
heterogeneous multicore processor;
high performance computing;
next generation processor;
overlapping technique;
recurrence calculation implementation;
recurrence equation solver;
cell B.E;
multicore;
performance;
recurrence;
63.
Development based on MDA, of Ubiquitous Applications Domain Product Lines
机译:
基于MDA的开发,无处不在的应用域产品线
作者:
Raphael Pereira de Oliveira
;
Antonio Francisco do Prado
;
Wanderley Lopes de Souza
;
Mauro Biajiz
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
SPL;
MDA;
Reuse;
Ubiquitous Computing;
64.
An Energy-Efficient Data Gathering Protocol for Wireless Sensor Networks
机译:
用于无线传感器网络的节能数据收集协议
作者:
Jun Yang
;
Deyun Zhang
;
Yunyi Zhang
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Wireless sensor networks;
Seamless coverage fraction;
Data aggregation;
Prediction transmission;
Network lifetime;
65.
A Framework for Real-time Local Free-Form Deformation
机译:
实时自由形式变形的框架
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
computational geometry;
mesh generation;
solid modelling;
3D model;
blending local coordinate system;
predictable large-scale model deformation method;
real-time editing environment;
real-time local free-form deformation framework;
triangular control mesh;
free-form deformation;
mesh simplification;
shape modeling;
triangular mesh model;
66.
Entropy-based Criteria Dealing with the Ties Problem in Gene Selection
机译:
基于熵的标准处理基因选择中的关系问题
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
biology computing;
data analysis;
entropy;
genetics;
pattern classification;
support vector machines;
Renyi entropy;
classification accuracy;
classification error;
counting-based evaluation criteria;
embedded methods;
entropy-based criteria dealing;
filter methods;
gene selection techniques;
microarray gene expression data analysis;
predefined classification algorithm;
ties problem;
wrapper methods;
Feature selection;
gene expression data analysis;
67.
Depth Adaptive Video Stitching
机译:
深度自适应视频拼接
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
video retrieval;
video signal processing;
camera position calibration;
depth adaptive video stitching algorithm;
depth compensation method;
dynamic video content;
panorama video frame;
pixel indexing scheme;
pixel projection;
projection transform estimation;
source video frame;
stitching visual quality;
Video stitching;
image stitching;
panorama video;
68.
Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis
机译:
根据具有不变分析的行为的继承服务发现和替换
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Petri nets;
Web services;
formal specification;
software architecture;
Petri-net framework;
behavior inheritance;
invariant analysis;
process-algebraic setting;
service component;
service discovery;
service specification;
service substitution;
service-oriented application;
service-oriented architecture;
Inheritance of Behavior;
Invariants;
Service-Oriented Computing;
Workflow net;
69.
Genetic Algorithm based Length Reduction of a Mobile BS Path in WSNs
机译:
基于遗传算法的WSN中移动BS路径的长度减小
作者:
Liang He
;
Jingdong Xu
;
Yuntao Yu
;
Miao Li
;
Wenyao Zhao
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
WSNs;
Energy efficiency;
Network latency;
Mobile BS;
Genetic algorithm;
70.
Research on Fault-tolerant Mechanism of Integrating Water-Domain Oriented Computing Resources
机译:
集成水域化计算资源的容错机制研究
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
fault tolerant computing;
grid computing;
resource allocation;
cycle stealing technology;
fault-tolerant mechanism;
water domain grid platform;
water-domain oriented computing resource;
computing resources integrated;
fault tolerance;
matchmaking;
volatile;
water-domain oriented;
71.
A Study of Matrix Data on Reading and Writing Method in Simulation
机译:
仿真读写方法矩阵数据研究
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
authorisation;
data handling;
digital simulation;
open systems;
Sybase Open Client component;
Sybase Open Client interface technique;
Sybase database;
access-control structure;
matrix data;
read-write method;
reading method;
software simulation system;
write-multiimage method;
writing method;
Data Description Format;
Image;
Open Client;
72.
Understanding the Search Interfaces of the Deep Web Based on Domain Model
机译:
了解基于域模型的深网络搜索接口
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Internet;
information retrieval systems;
query processing;
tree searching;
user interfaces;
automatic logic attribute extraction;
deep Web search interface;
domain model;
form-based search interface;
label tree;
online database;
query condition specification;
schema extraction;
Deep web;
serche interface;
73.
Research on Test Suite Reduction Using Attribute Relevance Analysis
机译:
使用属性相关性分析研究试验套件
作者:
Fanping Zeng
;
Ling Li
;
Juan Li
;
Xufa Wang
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Software testing;
Test case;
Test suite reduction;
Data classification;
Attribute relevance analysis;
74.
Understanding the Search Interfaces of the Deep Web Based on Domain Model
机译:
了解基于域模型的深网络搜索接口
作者:
XiaoJie Yuan
;
HuiBin Zhang
;
ZongYun Yang
;
YanLong Wen
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Deep web;
Serche interface;
Domain model;
75.
An Efficient Replica Location Method in Hierarchical P2P Networks
机译:
分层P2P网络中的高效副本定位方法
作者:
Xin Sun
;
Kan Li
;
Yushu Liu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
76.
A Framework to Support Interoperability among Web Service Registries
机译:
支持Web服务注册表之间互操作性的框架
作者:
Cheng Zeng
;
Keqing He
;
Bing Li
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Interoperability;
WSR;
MFI4OR;
WSRO;
77.
Bloggers' Social Presence Framing and Blog Visitors' Responses
机译:
博主的社会存在框架和博客访客的回应
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Internet;
content management;
information resources;
social networking (online);
Web sites;
blog visitors responses;
bloggers social presence framing;
content analysis;
diversely framed information;
information sources;
products/services promotion;
publishing tools;
regression results;
social presence perspective;
blog;
blog visitors;
framing;
goods type;
responding attitude;
social presence;
78.
LAOVM: Lightweight Application-Oriented Virtual Machine for Thread Migration
机译:
LAOVM:轻量级应用导向虚拟机用于线程迁移
作者:
Xiaofei Liao
;
Yifan Yue
;
Hai Jin
;
Haikun Liu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Virtual machine;
Migration;
Thread;
79.
On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs
机译:
关于DBMS中细粒度访问控制的SQL查询的Soundness属性
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
SQL;
authorisation;
database management systems;
query processing;
DBMS;
SQL query;
fine-grained access control;
query modification;
soundness property;
access control;
database security;
80.
Model Checking UML Activity Diagrams in FDR
机译:
模型检查FDR中的UML活动图
作者:
Dong Xu
;
Huaikou Miao
;
Nduwimfura Philbert
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Model Checking;
UML Activity Diagrams;
CSP;
FDR;
81.
Application of Security Ontology to Context-Aware Alert Analysis
机译:
安全本体中的应用在情境感知警报分析中
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
computer networks;
ontologies (artificial intelligence);
security of data;
ubiquitous computing;
CIM schema;
attack knowledge;
background knowledge;
context information representation;
context-aware alert analysis;
network security management;
security management;
security ontology;
82.
Validating Requirements Model of a B2B System
机译:
验证B2B系统的要求模型
作者:
Ling Yin
;
Jing Liu
;
Xiaoshan Li
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Requirements Model;
Validation;
OCL;
UML;
83.
Effects of Suffix Repetition Rates of a String on the Performance of String Matching Algorithms
机译:
字符串后缀重复率对字符串匹配算法性能的影响
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
search problems;
string matching;
Boyer-Moore's string matching algorithm;
pattern string;
string search algorithm;
suffix repetition rate effect;
algorithm efficiency;
string suffix;
suffix repetition rates;
84.
Detecting Design Patterns Using Source Code of Before Applying Design Patterns
机译:
使用设计模式之前使用源代码检测设计模式
作者:
Hironori Washizaki
;
Kazuhiro Fukaya
;
Atsuto Kubo
;
Yoshiaki Fukazawa
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
85.
MUPRET: An Ontology-Driven Traceability Tool for Multiperspective Requirements Artifacts
机译:
MUPRET:用于多射程要求工件的本体驱动可追溯性工具
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
formal specification;
ontologies (artificial intelligence);
software tools;
systems analysis;
MUPRET tool;
multiperspective requirements artifact;
ontologies;
stakeholder;
taxonomy;
traceability link generation;
traceability tool;
Interoperability;
Knowledge management;
Multiperspective software development;
Ontology;
Requirements traceability;
86.
Detecting Design Patterns Using Source Code of Before Applying Design Patterns
机译:
使用设计模式之前使用源代码检测设计模式
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
object-oriented programming;
program diagnostics;
software maintenance;
design pattern detection;
object-oriented program source-code;
program maintainability;
Design patterns;
design pattern recovery;
reverse engineering;
87.
Genetic Algorithm Based Length Reduction of a Mobile BS Path in WSNs
机译:
基于遗传算法的WSN中移动BS路径的长度减小
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
genetic algorithms;
wireless sensor networks;
WSN;
genetic algorithm based length reduction;
mobile base station path;
virtual network;
weighting scheme;
wireless sensor network;
WSNs;
energy efficiency;
genetic algorithm;
mobile BS;
network latency;
88.
A Max Modular Support Vector Machine and Its Variations for Pattern Classification
机译:
最大模块化支持向量机及其模式分类的变体
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
learning (artificial intelligence);
pattern classification;
sampling methods;
set theory;
support vector machines;
AR face database;
CASPEAL face database;
UCI Forest Cover type data;
artificial data;
down-sampling technique;
max modular combination principle;
max modular support vector machine;
part-against-other training strategy;
subset;
training sample decomposition;
89.
Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS
机译:
轻型公钥基础设施和服务关系模型设计值得信赖的ons
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
authorisation;
bar codes;
electronic products;
public key cryptography;
radiofrequency identification;
reliability;
certificate authority reliability;
electronic product code network;
encode-decode encryption strategy;
lightweight public key infrastructure;
multiple customer relation model;
object naming system;
service relation model;
Network security;
electronic product code;
public key infrastructure;
90.
Analyzing Reliability of Time Constrained Service Composition
机译:
分析时间约束服务组合的可靠性
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Petri nets;
Web services;
computational complexity;
concurrency control;
failure analysis;
formal languages;
set theory;
SCTPN model;
complex distribution application;
concurrent set;
failure processing strategy;
formal language;
open-heterogeneous environment;
time constrained service composition reliability;
timed Petri net;
transaction behavior;
transfer matrix;
Petri net;
Service composition;
preemptive;
priority;
time constrain;
91.
Exploring the Spatial Distribution of Bird Habitat with Cluster Analysis
机译:
探索鸟类栖息地与集群分析的空间分布
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
biology computing;
diseases;
geographic information systems;
pattern clustering;
veterinary medicine;
visual databases;
zoology;
DBSCAN;
GIS;
avian influenza control;
bar-headed Goose;
bird habitat;
bird migration;
breeding;
cluster analysis;
conservation strategy;
habitat area discovery;
hierarchy clustering;
migratory bird species;
spatial distribution;
spatial-tree;
wetland use;
wintering home range;
Bird Migration Habitat;
Clustering;
Qinghai Lake;
Scientific data;
92.
A General Attack against Several Group Signatures
机译:
对几个群体签名的一般攻击
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
cryptography;
digital signatures;
general attack;
group signatures;
traceability;
group signature;
randomly disturbing attack;
93.
Automatic Construction of Complete Abstraction by Abstract Interpretation
机译:
自动构建抽象解释的完全抽象
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
finite state machines;
program diagnostics;
program verification;
temporal logic;
Kripke structure abstracting;
abstract interpretation;
abstract model checking;
complete abstraction;
mu-calculus;
state-space explosion;
model checking;
94.
Triplet Based Multi-core Interconnection Network and its Computational Efficiency
机译:
基于三联的多核互连网络及其计算效率
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
multiprocessor interconnection networks;
network-on-chip;
parallel architectures;
performance evaluation;
2D mesh;
NoC architecture;
computational efficiency;
dense matrix algorithm;
direct interconnection network;
multicore chip;
network on chip;
single chip multicore architecture;
sorting algorithm;
triplet based multicore interconnection network;
interconnection network;
multi-core;
parallel time;
scientific applications;
speedup;
95.
Polynomial Time Construction Algorithm of BCNC for Network Coding in Cyclic Networks
机译:
循环网络中网络编码的BCNC多项式时间施工算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
computational complexity;
convolutional codes;
polynomials;
acyclic network;
basic convolutional network code;
convolutional broadcast code;
convolutional dispersion code;
convolutional multicast code;
cyclic network;
discrete valuation ring;
network coding;
polynomial time complexity;
polynomial time construction algorithm;
convolutional network coding;
cyclic networks;
96.
Exhaustive Greedy Algorithm for Optimizing Intermediate Result Sizes of Join Queries
机译:
用于优化连接查询的中间结果大小的详尽贪婪算法
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
computational complexity;
graph theory;
greedy algorithms;
query processing;
search problems;
ESU algorithm complexity;
exhaustive greedy operator ordering algorithm;
exhaustive search algorithm;
intermediate result size optimization;
join graph;
join order selection;
join query;
memory usage;
secondary storage;
Exhaustive Greedy algorithm;
Exhaustive Search algorithm that is modified to update join graphs;
Greedy Operator Ordering algorithm;
97.
A Framework to Support Interoperability among Web Service Registries
机译:
支持Web服务注册表之间互操作性的框架
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
Web services;
ontologies (artificial intelligence);
open systems;
ISO/IEC 19763-3;
Web service reference ontology;
Web service registries;
domain ontology;
double-ontology pattern;
interoperability degree;
ontology registration metamodel;
semantic interoperation;
semantic query;
Interoperability;
MFI4OR;
WSR;
WSRO;
98.
On the Capability Compliance of Annotated Process Model
机译:
关于注释过程模型的能力合规性
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
business data processing;
formal specification;
ontologies (artificial intelligence);
specification languages;
IOPE;
annotated process model language;
business design;
business process management;
capability compliance concern;
domain ontology;
formal definition;
input-output-precondition-and-effect;
predicate abstraction technique;
semantic technology;
state-and-change approach;
99.
Model Checking Service Component Composition By SPIN
机译:
模型通过旋转检查服务组件组成
作者:
Zuohua Ding
;
Mingyue Jiang
;
Jing Liu
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
100.
Research on Test Suite Reduction Using Attribute Relevance Analysis
机译:
使用属性相关性分析研究试验套件
会议名称:
《International Confernece on Computer and Information Science》
|
2009年
关键词:
formal specification;
pattern classification;
program testing;
attribute relevance analysis;
data classification technique;
data mining;
partition;
software testing;
test case selection;
test requirement;
test suite generation;
test suite reduction;
data classification;
test case;
上一页
1
2
3
4
下一页
意见反馈
回到顶部
回到首页