掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
34th Annual IEEE Computer Software and Applications Conference
34th Annual IEEE Computer Software and Applications Conference
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An Adaptation Approach for Component-Based Software Architecture
机译:
基于组件的软件体系结构的一种适应方法
作者:
Derdour Makhlouf
;
Roose Philippe
;
Dalmau Marc
;
Zine Nacera Ghoualmi
;
Alti Adel
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
adaptation;
component;
concerns;
multimedia;
software architecture;
2.
Key Roles of Session State: Not against REST Architectural Style
机译:
会话状态的关键作用:不反对REST建筑风格
作者:
Inoue Takeru
;
Asakura Hiroshi
;
Sato Hiroshi
;
Takahashi Noriyuki
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
REST;
Web;
architectural style;
3.
Target Setting for Technical Requirements in Time-Stamped Software Quality Function
机译:
带时间戳的软件质量功能中技术要求的目标设置
作者:
Liu Xiaoqing (Frank)
;
Inuganti Praveen
;
Noguchi Kunio
;
Kyoya Yuji
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Impact analysis;
Quality goal;
Regression;
Software quality function deployment;
Software requirements analysis;
Target setting;
Technical requirements analysis;
Technical trend;
Timestamp;
4.
Team Factors and Failure Processing Efficiency: An Exploratory Study of Closed and Open Source Software Development
机译:
团队因素和故障处理效率:封闭式和开源软件开发的探索性研究
作者:
Grottke Michael
;
Karg Lars M.
;
Beckhaus Arne
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
closed source software;
development teams;
empirical analysis;
failure processing;
open source software;
5.
Effective Software Bug Localization Using Spectral Frequency Weighting Function
机译:
使用频谱频率加权功能进行有效的软件错误定位
作者:
Lee Hua Jie
;
Naish Lee
;
Ramamohanarao Kotagiri
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Frequency Weighting Function;
Program Spectra;
Spectra Metrics;
6.
Towards a General Framework for Evaluating Software Development Methodologies
机译:
建立评估软件开发方法的通用框架
作者:
Hesari Shokoofeh
;
Mashayekhi Hoda
;
Ramsin Raman
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
evaluation criterion;
evaluation framework;
process feature;
software development methodology;
7.
Model of Reliability of the Software with Coxian Distribution of Length of Intervals between the Moments of Detection of Errors
机译:
误差检测时刻之间间隔时间的Coxian分布的软件可靠性模型
作者:
Bubnov Vladimir P.
;
Tyrva Alexey V.
;
Khomonenko Anatoly D.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
approximation by Coxian distribution;
software reliability;
8.
Detect Related Bugs from Source Code Using Bug Information
机译:
使用错误信息从源代码检测相关的错误
作者:
Wang Deqing
;
Lin Mengxiang
;
Zhang Hui
;
Hu Hongping
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
bug detection;
bug features;
bug information;
code features;
common substring;
9.
Using Semantics-Enabled Information Retrieval in Requirements Tracing: An Ongoing Experimental Investigation
机译:
在需求跟踪中使用支持语义的信息检索:正在进行的实验研究
作者:
Mahmoud Anas
;
Niu Nan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Requirements tracing;
dynamic link generation;
information reterival;
semantic search;
10.
Efficient Color Image Compression Using Demosaicing
机译:
使用去马赛克的高效彩色图像压缩
作者:
Gershikov Evgeny
;
Porat Moshe
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Bayer pattern;
color image compression;
demosaicing;
inter-color correlations;
11.
Green Computing Methodology for Next Generation Computing Scientists
机译:
下一代计算科学家的绿色计算方法
作者:
Lo Chia-Tien Dan
;
Qian Kai
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
education;
embedded systems;
greeen computing;
wireless sensor network;
12.
An Empirical Comparison of Fault-Prone Module Detection Approaches: Complexity Metrics and Text Feature Metrics
机译:
故障-极性模块检测方法的经验比较:复杂度度量和文本特征度量
作者:
Mizuno Osamu
;
Hata Hideaki
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Fault-prone module;
software metrics;
13.
AntiBot: Clustering Common Semantic Patterns for Bot Detection
机译:
AntiBot:将常见的语义模式聚类进行Bot检测
作者:
Park Younghee
;
Zhang Qinghua
;
Reeves Douglas
;
Mulukutla Vikram
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
BotNet;
Data Mining;
Malware;
Static Analysis;
14.
A Consistency Model for Identity Information in Distributed Systems
机译:
分布式系统中身份信息的一致性模型
作者:
Hoellrigl Thorsten
;
Dinger Jochen
;
Hartenstein Hannes
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Consistency;
Federation;
Formal Model;
Identity Management;
15.
Metamodel Recovery from Multi-tiered Domains Using Extended MARS
机译:
使用扩展的MARS从多层域恢复元模型
作者:
Liu Qichao
;
Bryant Barrett R.
;
Mernik Marjan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
domain-specific modeling;
grammar inference;
metamodel;
model-driven engineering;
16.
A Weaker Knowledge Connectivity Condition Sufficient for Fault-Tolerant Consensus with Unknown Participants
机译:
满足未知参与者的容错共识所需的较弱知识连通性条件
作者:
Tsai Jichiang
;
Chang Che-Cheng
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
agreement;
asynchronous algorithms;
cloud computing;
consensus;
self-organized networks;
17.
An Interactive Change Impact Analysis Based on an Architectural Reflexion Model Approach
机译:
基于架构反射模型方法的交互式变更影响分析
作者:
Kim Tae-hyung
;
Kim Kimun
;
Kim Woomok
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Change impact analysis;
Software architecture reconstruction;
18.
Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution
机译:
个性化运行时软件服务演化中人为意图变化的推理
作者:
Ming Hua
;
Chang Carl K.
;
Oyama Katsunori
;
Yang Hen-I
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Kripke semantics;
Situ framework;
epistemic reasoning;
information flow theory;
situation theory;
19.
A Personalized Navigation Guide Using a Social-Spatial Ontology
机译:
使用社交空间本体的个性化导航指南
作者:
Park Hyunho
;
Huerta-Canepa Gonzalo
;
Lee Dongman
;
NamKoong Ho
;
Kim Byoungoh
;
Hyun Soon J.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
component;
familiarity;
mobile applications;
navigation;
ontology;
social-relationship;
20.
ucR Based Interoperable Spatial Information Model for Realizing Ubiquitous Spatial Infrastructure
机译:
基于ucR的互操作空间信息模型实现普遍存在的空间基础设施。
作者:
Shigesada Yukihiko
;
Kobayashi Shinsuke
;
Koshizuka Noboru
;
Sakamura Ken
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Spatial Information System;
Ubiquitous Computing;
Ubiquitous Spatial Infrastructure;
component;
21.
Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases
机译:
管理文本需求,抽象交互和基本用例之间的一致性
作者:
Kamalrudin Massila
;
Grundy John
;
Hosking John
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Automated Tracing Tool;
Consistency management;
Essential Use Cases;
Inconsistency;
Traceability;
22.
A Usability-Pattern-Based Requirements-Analysis Method to Bridge the Gap between User Tasks and Application Features
机译:
一种基于可用性模式的需求分析方法,弥合用户任务和应用程序功能之间的差距
作者:
Lee Sang-Hyun
;
Ko In-Young
;
Kang Sungwon
;
Lee Dan-Hyung
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Agile User-Centered Design;
Application Feature;
Requirements Analysis Method;
Specialist;
Usability Pattern;
User Task;
23.
Human Desire Inference Process Based on Affective Computing
机译:
基于情感计算的人类欲望推理过程
作者:
Dong Jeyoun
;
Yang Hen-I
;
Oyama Katsunori
;
Chang Carl K.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Affective States;
Bayesian Belief Networks(BBNs);
Desire;
24.
Variability Modeling for Product Line Viewpoints Integration
机译:
产品线观点整合的可变性建模
作者:
Niu Nan
;
Savolainen Juha
;
Yu Yijun
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Viewpoints;
product line;
toleration of inconsistency;
variability;
25.
Behavior Monitoring in Self-Healing Service-Oriented Systems
机译:
面向自我服务的系统中的行为监控
作者:
Psaier Harald
;
Skopik Florian
;
Schall Daniel
;
Dustdar Schahram
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Self-healing model;
delegation behavior;
mixed service-oriented system;
monitoring;
recovery;
26.
PAAKL: Password Authentication Using Behavioral Metrics
机译:
PAAKL:使用行为指标的密码身份验证
作者:
Toptsis Anestis A.
;
Majonis Joshua
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Artificial K-lines;
Password authenticatiom;
27.
An Ontology-Based Approach to Reengineering Enterprise Software for Cloud Computing
机译:
基于本体的云计算企业软件再造方法
作者:
Zhou Hong
;
Yang Hongji
;
Hugill Andrew
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Class Diagram;
Cloud Computing;
Enterprise Software;
Hibernate ORM Framework;
Model Transformation;
Ontology;
Ontology Development Process;
Ontology Integration;
Ontology Partitioning;
Service;
28.
Change Impact Analysis Based on a Taxonomy of Change Types
机译:
基于变更类型分类的变更影响分析
作者:
Sun Xiaobing
;
Li Bixin
;
Tao Chuanqi
;
Wen Wanzhi
;
Zhang Sai
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Change impact analysis;
change types classification;
impact rules;
initial impact set;
object oriented class and member dependence graph;
29.
An Optimized Checkpointing Based Learning Algorithm for Single Event Upsets
机译:
基于优化检查点的单事件心烦学习算法
作者:
Sharanyan S.
;
Kumar Arvind
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Computer Architecture;
Control Flow Graphs;
Graph theory;
Integer Linear Programming;
Single Event Upsets;
30.
Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation
机译:
使用双向转换的软件产品线中的同步体系结构演进
作者:
Shen Liwei
;
Peng Xin
;
Zhu Jiayi
;
Zhao Wenyun
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
31.
Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution
机译:
通过减少运行时执行来探索编程代码中的查询优化
作者:
Nerella Venkata Krishna Suhas
;
Surapaneni Swetha
;
Madria Sanjay Kumar
;
Weigert Thomas
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
compile time;
histograms;
joins;
query optimization;
run-time;
selectivity;
32.
A Scalable and Efficient Path Management Scheme for Internet-Based Sensor Data Delivery Infrastructure
机译:
基于Internet的传感器数据传递基础架构的可扩展且高效的路径管理方案
作者:
Cho Kyungmin
;
Ju Younghyun
;
Jo Sungjae
;
Rhee Yunseok
;
Song Junehwa
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
delivery service;
multicast;
overlay network;
publish/subscribe;
sensor network;
stream processing;
33.
Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics
机译:
基于可测试性指标的运行时测试准备成本最小化
作者:
Gonzalez-Sanchez Alberto
;
Piel Eric
;
Gross Hans-Gerhard
;
Gemund Arjan J. C. van
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
online testing;
runtime testability;
runtime testing;
34.
Design and Analysis of Cost-Cognizant Test Case Prioritization Using Genetic Algorithm with Test History
机译:
带有测试历史的遗传算法的成本识别测试用例优先级设计与分析
作者:
Huang Yu-Chi
;
Huang Chin-Yu
;
Chang Jun-Ru
;
Chen Tsan-Yuan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Average Percentage of Faults Detected pre Cost(APFDc);
cost-cognizant test case prioritizaion;
fault severity;
rate of fault detection;
regression testing;
test cost;
35.
Transformation Rules for Synthesis of UML Activity Diagram from Scenario-Based Specification
机译:
基于场景的规范合成UML活动图的转换规则
作者:
Kang Sungwon
;
Kim Hyunho
;
Baik Jongmoon
;
Choi Hojin
;
Keum Changsup
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Activity Diagram;
BPMN;
Scenario-based Specification;
Sequence Diagram;
Synthesis;
UML;
component Transformation;
36.
Specifying Time-Sensitive Systems with TLA+
机译:
使用TLA +指定时间敏感系统
作者:
Zhang Hehua
;
Gu Ming
;
Song Xiaoyu
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
TLA+;
real-time;
refinement;
specification;
37.
An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Determinism
机译:
在获得确定性的同时提高实时应用程序吞吐量的自动配置方法
作者:
Zhang Xiaowei
;
Cao Donggang
;
Gao Yunpeng
;
Chen Xiangqun
;
Mei Hong
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
determinism;
integer programming;
real-time applications;
stochastic process;
throughput;
38.
A Game Perspective of Refinement of Component Models
机译:
组件模型细化的博弈视角
作者:
Wang Zizhen
;
Wang Hanpin
;
Cao Yongzhi
;
Qu Wanling
;
Jin Wei
;
Zhu Meixia
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
alternating simulation;
component;
game;
refinement;
39.
Supporting Design Enhancement by Pattern-Based Transformation
机译:
通过基于模式的转换来支持设计增强
作者:
Hsueh Nien-Lin
;
Chu Peng-Hua
;
Hsiung Pao-Ann
;
Chuang Min-Ju
;
Chu William
;
Chang Chih-Hung
;
Koong Chorng-Shiuh
;
Shih Chih-Hsiong
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Design Pattern;
Model Transformation;
Multi-Core Embedded System;
UML Profile;
40.
SAT: Switchable Address Translation for Flash Memory Storages
机译:
SAT:闪存存储的可切换地址转换
作者:
Ryu Yeonseung
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
address translation;
flash memory;
flash translation layer;
garbage collection;
41.
Process Patterns for Web Engineering
机译:
Web工程的过程模式
作者:
Babanezhad Reza
;
Bibalan Yusef Mehrdad
;
Ramsin Raman
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Process Pattern;
Situational Method Engineering;
Software Development Methodology;
Web-Based Systems Development;
42.
A Petri Net-Based Method for Data Validation of Web Services Composition
机译:
基于Petri网的Web服务组合数据验证方法
作者:
Xu Chunxiang
;
Qu Wanling
;
Wang Hanpin
;
Wang Zizhen
;
Ban Xiaojuan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Petri net;
data validation;
modeling;
web services;
43.
QoS-Based Dynamic Web Service Composition with Ant Colony Optimization
机译:
基于蚁群优化的基于QoS的动态Web服务组合
作者:
Zhang Wei
;
Chang Carl K.
;
Feng Taiming
;
Jiang Hsin-yi
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Ant Colony Optimization;
Dynamic Service Composition;
QoS;
44.
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus
机译:
使用定时可中断pi微积分对BPEL和BPEL4People建模
作者:
Jin Wei
;
Wang Hanpin
;
Cao Yongzhi
;
Wang Zizhen
;
Ban Xiaojuan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
BPEL;
BPELPeople;
interruptable;
pi-calculus;
timing;
45.
An Efficient Source Allocation Approach for QoS Support in P2PTV Systems
机译:
P2PTV系统中支持QoS的有效源分配方法
作者:
Chen Yaw-Chung
;
Li Shang-Shu
;
Chen Kuan-Teng
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
46.
Filtering of Inconsistent Software Project Data for Analogy-Based Effort Estimation
机译:
筛选不一致的软件项目数据以进行基于类比的工作量估算
作者:
Le-Do Tuan Khanh
;
Yoon Kyung-A
;
Seo Yeong-Seok
;
Bae Doo-Hwan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Effort-Inconsistency Degree;
Software effort estimation;
analogy-based estimation;
inconsistent data;
noise data;
47.
Systematic Composition and Verification of Abstract Components
机译:
抽象成分的系统组成和验证
作者:
Choi Yunja
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Abstraction;
Composition;
Verification;
48.
Timing Analyzing for Systems with Task Execution Dependencies
机译:
具有任务执行相关性的系统的时序分析
作者:
Lu Yue
;
Nolte Thomas
;
Bate Iain
;
Norstrom Christer
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
model checker;
system with task execution dependencies;
timing analysis;
49.
A Model-Based Design Tool of Automotive Software Architecture
机译:
汽车软件架构的基于模型的设计工具
作者:
Kim Jeong-Si
;
Lim Chaedeok
;
Han Tae-Man
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
50.
A Study on the Applicability of Modified Genetic Algorithms for the Parameter Estimation of Software Reliability Modeling
机译:
改进遗传算法在软件可靠性模型参数估计中的适用性研究
作者:
Hsu Chao-Jung
;
Huang Chin-Yu
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Genetic Algorithm;
Parameter Estimation;
Software Quality Assurance;
Software Reliability Growth Models;
51.
Reconnection of the Pre-assigning Peers in the Seamless Video Streaming
机译:
无缝视频流中的预分配对等方的重新连接
作者:
Karimov Ilhom
;
Rayimov Nuriddin
;
Jing Liu
;
Song Jungwook
;
Cho Sungchol
;
Han Sunyoung
;
Kim Chinchol
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
component;
manager server;
peer-to-peer;
treebased;
video streaming;
52.
A Method for Detecting Defects in Source Codes Using Model Checking Techniques
机译:
使用模型检查技术检测源代码中的缺陷的方法
作者:
Aoki Yoshitaka
;
Matsuura Saeko
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
53.
Author Index
机译:
作者索引
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
54.
A Know-How Recommendation System for a Software Engineering Project Course by Using the Content Filtering Technique
机译:
使用内容过滤技术的软件工程项目专业知识推荐系统
作者:
Kawai Rika
;
Hazeyama Atsuo
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Recommendation system;
software engineering education;
the contents filtering technique;
55.
Title Page i
机译:
标题页
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
56.
Publisher's Information
机译:
发行人信息
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
57.
Copyright Page
机译:
版权页
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
58.
Title Page iii
机译:
标题页iii
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
59.
Greetings from the General Chair
机译:
主席致辞
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
60.
Message from the Standing Committee Chair
机译:
常设委员会主席的话
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
61.
Message from the Program Chairs
机译:
计划主席的话
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
62.
Reviewers
机译:
审稿人
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
63.
Plenary Panel Description: Challenges and Future Directions of Software Technology
机译:
全体会议小组说明:软件技术的挑战和未来方向
作者:
Yau Stephen S.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
64.
Challenges and Future Directions of Software Technology: The Need for Explicit Programming Environments
机译:
软件技术的挑战和未来方向:明确的编程环境的需求
作者:
Gustafson John L.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
65.
Software Development Productivity: Challenges and Future Trends
机译:
软件开发效率:挑战和未来趋势
作者:
Getov Vladimir
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
code reuse;
component-based platform;
component-oriented programming;
software development productivity;
66.
Internetware: Challenges and Future Direction of Software Paradigm for Internet as a Computer
机译:
互联网软件:互联网作为计算机的软件范式的挑战和未来方向
作者:
Mei Hong
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Internet as a computer;
software paradigm;
67.
Challenges and Future Directions of Cyber-Physical System Software
机译:
网络物理系统软件的挑战和未来方向
作者:
Kim K. H. (Kane)
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
CPS;
Cyber-physical system;
NEC;
QoS;
TUP;
embedded;
high-level programming;
network-based;
quality;
reliality;
software engineering;
timeliness;
timing specification;
68.
Panel Description: Joint COMPSAC/SAINT Panel: Future of the Internet
机译:
面板说明:COMPSAC / SAINT联合面板:互联网的未来
作者:
Kawai Eiji
;
Bertino Elisa
;
Moon Sue
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
69.
Challenges and Future Directions of Software Technology: Secure Software Development
机译:
软件技术的挑战和未来方向:安全软件开发
作者:
Thuraisingham Bhavani
;
Hamlen Kevin W.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
70.
Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: Activity Status of New-Generation Network Design
机译:
立场声明:COMPSAC / SAINT联合小组会议:互联网的未来:新一代网络设计的活动状态
作者:
Harai Hiroaki
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
71.
Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: What Can We Do to Support Super-Broadband Traffic in the Future Network?
机译:
立场声明:COMPSAC / SAINT联合小组:互联网的未来:我们将如何支持未来网络中的超宽带流量?
作者:
Shiomoto Kohei
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
72.
Panel Description: Are We Headed towards Smart Solutions?
机译:
面板说明:我们正在走向智能解决方案吗?
作者:
Subramanyan Rajesh
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
73.
Panel Description: Joint COMPSAC/SAINT Panel: Green IT - From Devices to Applications
机译:
面板说明:COMPSAC / SAINT联合面板:绿色IT-从设备到应用程序
作者:
Asami Tohru
;
Sedigh Sahra
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
74.
Towards Secure Virtual Directories: A Risk Analysis Framework
机译:
迈向安全虚拟目录:风险分析框架
作者:
Claycomb William R.
;
Shin Dongwan
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Directory Services;
Risk;
Security;
Virtual Directories;
75.
Panel Description: Towards New Roles and System Architecture Supporting the Full Life Cycle of Smart Spaces
机译:
面板说明:迈向支持智能空间整个生命周期的新角色和系统架构
作者:
Helal Sumi
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
76.
A New Concurrent Checkpoint Mechanism for Real-Time and Interactive Processes
机译:
实时和交互过程的新的并发检查点机制
作者:
Liao Jianwei
;
Ishikawa Yutaka
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
concurrent checkpoint;
real-time and interactive processes;
reduced downtime;
77.
Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual Machines
机译:
使用虚拟机监控程序迁移正在运行的操作系统以保护虚拟机
作者:
Nomoto Tsutomu
;
Oyama Yoshihiro
;
Eiraku Hideki
;
Shinagawa Takahiro
;
Kato Kazuhiko
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Security;
hypervisors;
operating systems;
virtual machine monitors;
78.
A Task-Oriented Navigation Approach to Enhance Architectural Description Comprehension
机译:
面向任务的导航方法,可增强体系结构描述理解
作者:
Zhu Wenhui
;
Tao Yang
;
Huang Gang
;
Sun Yanchun
;
Mei Hong
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
architecture description;
documenation;
model;
navigation;
tag;
task;
79.
An Analysis of Tool-Based Research in Software Engineering
机译:
软件工程中基于工具的研究分析
作者:
Helming Jonas
;
Koegel Maximilian
;
Naguib Hoda
;
Schmidberger Miriam
;
Schneider Florian
;
Brugge Bernd
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
CASE tool;
Eclipse;
Model;
Platform;
UNICASE;
80.
An Approach for Ensuring Robust Safeguard against Location Privacy Violation
机译:
确保针对位置隐私侵害的强有力的保障措施
作者:
Hasan Chowdhury S.
;
Ahamed Sheikh I.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Location Privacy;
Location-based Service;
Reciprocity Condition;
SafeGrid;
81.
Improving Software Performance and Reliability with an Architecture-Based Self-Adaptive Framework
机译:
通过基于架构的自适应框架提高软件性能和可靠性
作者:
Zhang Xu
;
Lung Chung-Horng
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
autonomic computing;
distributed and concurrent architecture;
performance;
reliability;
software architecture;
82.
geoXmart - A Marketplace for Geofence-Based Mobile Services
机译:
geoXmart-基于地理围栏的移动服务市场
作者:
Bareth Ulrich
;
Kupper Axel
;
Ruppel Peter
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
GFS;
Geofence;
Geofence Service;
Geofencing;
J2ME;
LBS;
Location-based Service;
Marketplace;
Mobile Service;
Prototype;
83.
Design and Implementation of a Middleware for Development and Provision of Stream-Based Services
机译:
用于开发和提供基于流的服务的中间件的设计和实现
作者:
Kang Seungwoo
;
Lee Youngki
;
Ihm Sunghwan
;
Park Souneil
;
Kim Su-Myeon
;
Song Junehwa
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Pervasive computing;
data stream;
middleware;
runtime environment;
sensor network;
service model;
stream-based services;
84.
Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System
机译:
使用负载测试自动比较大型企业系统的子系统
作者:
Malik Haroon
;
Adams Bram
;
Hassan Ahmed E.
;
Flora Parminder
;
Hamann Gilbert
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Load test;
PCA;
Signatures;
performance;
85.
Applying Particle Swarm Optimization to Pairwise Testing
机译:
将粒子群优化应用于成对测试
作者:
Chen Xiang
;
Gu Qing
;
Qi Jingxian
;
Chen Daoxu
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
meta-heuristic search techniques;
pairwise testing;
particle swarm optimization;
software testing;
86.
A Novel Rubbing Encryption Algorithm and the Implementation of a Web Based One-Time Password Token
机译:
一种新颖的摩擦加密算法及基于Web的一次性密码令牌的实现
作者:
Cheng Fred
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Authentication;
Encryption Algorithm;
One-time Password;
Security;
87.
Representing and Reasoning about Web Access Control Policies
机译:
Web访问控制策略的表示和推理
作者:
Ahn Gail-Joon
;
Hu Hongxin
;
Lee Joohyung
;
Meng Yunsong
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Answer Set Programming;
Role-based Access Control;
XACML;
88.
Security in Context: Analysis and Refinement of Software Architectures
机译:
上下文中的安全性:软件体系结构的分析和完善
作者:
Heyman Thomas
;
Scandariato Riccardo
;
Joosen Wouter
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Alloy;
analysis;
security;
software architecture;
89.
IPTV Micropayment System Based on Hash Chain Using RFID-USB Module
机译:
基于RFID-USB模块的基于哈希链的IPTV小额支付系统
作者:
Jeong Yoon-Su
;
Sun Ning
;
Lee Sang-Ho
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Hash Chain;
IPTV;
RFID-USB;
90.
GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases
机译:
GenRed:一种用于生成和减少面向对象的测试用例的工具
作者:
Jaygarl Hojun
;
Lu Kai-Shin
;
Chang Carl K.
会议名称:
《34th Annual IEEE Computer Software and Applications Conference》
|
2010年
关键词:
Adaptive Random Testing;
Automated Test Generation;
Test Suite Reduction;
意见反馈
回到顶部
回到首页