掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Association of Science and Technology for Development International Conference on Software Engineering and Applications
International Association of Science and Technology for Development International Conference on Software Engineering and Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
TWO FACTOR AUTHENTICATION WITHOUT THE OVERHEAD OF TRADITIONAL OTP
机译:
两个因子认证,没有传统OTP的开销
作者:
Asad Ali
;
Matthias Buchner
;
Ella Segura
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Online Authentication;
Security;
OTP;
Smart Card;
2.
CROSS-MEDIA ASSOCIATION ENGINE FOR EVALUATING EMOTIVE EFFECTS OF ADVERTISEMENT VIDEO DATA STREAMS
机译:
跨媒体协会引擎评估广告视频数据流的情绪影响
作者:
Takahiro HIRUMA
;
Shuichi KURABAYASHI
;
Yasushi KIYOKI
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Multimedia Database;
Video Analysis;
Advertisement;
3.
USABILITY-AWARE TECHNIQUES TO ENFORCE PASSWORD POLICIES IN ONLINE SERVICES
机译:
可用性感知技术在线服务中执行密码策略
作者:
Dhananjay Kulkarni
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Passwords;
Authentication;
Usability;
4.
A MORE PRACTICAL SOFTWARE RELIABILITY GROWTH MODEL
机译:
更实用的软件可靠性增长模型
作者:
Jizhou Zhan
;
Xianzhong Zhou
;
Jiacun Wang
;
Huaxiong Li
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Software reliability growth model;
Non-homogenous Poisson process;
Distrustable factors;
5.
PREDICTING CLASS INTERACTIONS USING REQUIREMENT INTERACTIONS
机译:
使用需求交互预测类交互
作者:
Nazri Kama
;
Tim French
;
Mark Reynolds
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Change impact analysis;
Change impact;
Requirement interactions;
Requirement;
Class interactions;
Class;
6.
COOPERATIVE APPROACH TO QUALITATIVE AND QUANTITATIVE COST ANALYSES OF DISTRIBUTED SYSTEMS
机译:
分布式系统定性和定量成本分析的合作方法
作者:
Ritsuya IKEDA
;
Kensuke NARITA
;
Shin-ya NISHIZAKI
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
DoS attacks;
Model checking;
Network simulator;
7.
BACKGROUND INFORMATION FOR CHECKING COMPLETENESS OF A CONCEPTUAL DATABASE SCHEMA
机译:
检查概念数据库模式的完整性的背景信息
作者:
Christian Kop
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Database design;
Schema quality;
Controlled natural language queries;
Conceptual modelling;
8.
BPEL MOVIE FRAMEWORK: REPLAYING BPEL PROCESSES FROM LOGS
机译:
BPEL电影框架:从日志重播BPEL进程
作者:
Balazs Simon
;
Balazs Goldschmidt
;
Zoltan Laszlo
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
BPEL;
Web-services;
Instance-migration;
Process state;
SOA;
9.
SOFTWARE ENGINEERING AND PROJECT MANAGEMENT IN CS PROJECTS VS. 'REAL-WORLD' PROJECTS: A CASE STUDY
机译:
CS项目中的软件工程和项目管理与 “现实世界”项目:案例研究
作者:
Dean Knudson
;
Alex Radermacher
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Software Engineering;
Software Project Management;
Education;
10.
NOTATION AND TOOL FOR INTERACTION CASES: UNDERSTANDING, DESIGNING AND IMPLEMENTING SOFTWARE-INTENSIVE SYSTEMS
机译:
互动案例的符号和工具:了解,设计和实现软件密集型系统
作者:
Bent Bruun Kristensen
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Interaction Case;
Graphical notation;
Interactive tool;
Software development;
Use Case;
11.
MYSQUARE: A SEMI-AUTOMATED SQUARE TOOL FOR SECURITY REQUIREMENTS
机译:
MySQuare:一种用于安全要求的半自动方形工具
作者:
Gordon Yip
;
Cui Zhang
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
SQUARE;
Requirements;
Software security;
12.
A FRAMEWORK FOR INFORMATION SYSTEMS THAT SUPPORT PLM-BASED SERVICE-ORIENTED MANUFACTURING PROCESS MANAGEMENT
机译:
一种支持基于PLM的服务的制造过程管理的信息系统框架
作者:
Xiaoliang Jia
;
Xiaodong Deng
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
PLM-based;
Service-oriented;
Manufacturing process management;
Service bill of material;
BOM;
13.
REDUCING THE NUMBER OF CHANGE-REQUESTS USING CAPABILITIES ENGINEERING: AN EMPIRICAL ANALYSIS
机译:
使用能力工程减少改变请求的数量:实证分析
作者:
Ramya Ravichandar
;
James D. Arthur
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Capabilities Engineering;
Change Reduction;
Requirements;
Change tolerance;
Complex emergent systems;
14.
METADATA FOR BOILERPLATE PLACEMENT VALUES FOR SECURE SOFTWARE DEVELOPMENT USING DERIVED REQUIREMENTS
机译:
用于使用衍生要求的安全软件开发的样板位置值的元数据
作者:
Curtis Busby-Earle
;
Ezra K. Mugisa
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Software security;
Requirements engineering;
Imposed security dependence;
Security concerns;
Derived requirements;
15.
AUTOMATIC CONSISTENCY CHECKING OF USE CASE SCENARIOS
机译:
自动一致性检查用例场景
作者:
Hyunseok Min
;
Jin-Young Choi
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Consistency;
UML;
System;
Use Case;
Statechart;
16.
ESTIMATING PROJECT RISK DEPENDENCIES
机译:
估算项目风险依赖项
作者:
Tak Wah KWAN
;
Hareton K. N. LEUNG
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Project risk management;
Risk assessment;
Metrics;
17.
MODULARITY ORIENTED FRAMEWORK FOR RICH INTERNET APPLICATION
机译:
富互联网应用的模块化框架
作者:
Hiroaki Fukuda
;
Yoshikazu Yamamoto
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Rich Internet Application;
Management;
Collaboration;
Flex Framework;
Web2.0;
18.
MEASURING THE EFFECTIVENESS OF NOKIA TEST IN VERY SMALL TEAMS
机译:
测量诺基亚测试在非常小的团队中的有效性
作者:
Celio Santana
;
Danilo Caetano
;
Shirley Alexandre
;
Verlaynne Rocha
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Scrum;
Agile Software Development;
Nokia Test;
Small Teams;
19.
TOWARDS A MEASURE OF SOFTWARE INTELLIGENCE EMPLOYING A RUNTIME COMPLEXITY METRIC
机译:
朝着采用运行时复杂度度量的软件智能的衡量标准
作者:
Kevin J. Keen
;
Ruchira Mathur
;
Letha Etzkorn
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Mobile Agent;
Runtime Metric;
Runtime Complexity;
20.
A REGIONAL CHARACTERISTICS VISUALIZATION SYSTEM BY DYNAMIC TEXT DATA PROCESSING
机译:
动态文本数据处理的区域特征可视化系统
作者:
Keita MORIYA
;
Shiori SASAKI
;
Yasushi KIYOKI
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Geographical Information;
Visualization;
Text Processing;
21.
REFINEMENT IS MODEL CHECKING: FROM FAILURE TRACE TESTS TO COMPUTATION TREE LOGIC
机译:
改进是模型检查:从故障跟踪测试到计算树逻辑
作者:
Stefan D. Bruda
;
Zhiyu Zhang
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Formalmethods;
Verification and validation;
Computation tree logic;
Failure trace testing;
22.
REVERSE ENGINEERING OF SEQUENCE DIAGRAMS FROM FRAMEWORK BASED WEB APPLICATIONS
机译:
基于框架的Web应用程序序列图的逆向工程
作者:
Yuto Imazeki
;
Shingo Takada
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Reverse Engineering;
Sequence Diagram;
Framework;
Web Application;
23.
A FAST AND SECURE SOFTWARE SOLUTION SS7.0 THAT COUNTERS SHOULDER SURFING ATTACK
机译:
一个快速安全的软件解决方案SS7.0认为肩部冲浪攻击
作者:
Divyans Mahansaria
;
Samarpan Shyam
;
Anup Samuel
;
Ravi Teja
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Shoulder Surfing;
Authentication;
Security;
SS7.0;
Shoulder Attacker;
24.
ATTRIBUTE HIERARCHY-BASED EVALUATION OF ARCHITECTURAL DESIGNS (AHEAD)
机译:
基于层次结构的建筑设计评估(未来)
作者:
Qingfeng He
;
Elizabeth Kielczewski
;
Karen Smiley
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Software requirements;
Architectures;
Methodologies;
Technology evaluation;
25.
AN EFFICIENT METHOD OF MAINTAINING THE O-GRAPH WHEN EDITING A PETRI NET
机译:
在编辑Petri网时维护O形图的有效方法
作者:
Ching Huey Wang
;
Pei Shu Huang
;
Feng Jian Wang
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Petri Net;
O-graph;
Workflow;
Incremental development;
26.
A VERSATILE MULTIMEDIA FRAMEWORK FOR MOBILE-TO-MOBILE BASED APPLICATIONS
机译:
用于移动到移动到移动应用程序的多功能多媒体框架
作者:
S. Gardner
;
S. E. Davies
;
D. L. Jones
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Mobile and Wireless Computing;
Distributed Multimedia Systems;
Real Time Systems;
Session Initiation Process;
27.
TRACEABILITY OF SOFTWARE SPECIFICATIONS: A RELATIONAL SCHEMA BASED MODEL
机译:
软件规格的可追溯性:基于关系模式的模型
作者:
Dipankar Majumdar
;
Swapan Bhattacharya
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Traceability;
Relational-Model;
Referential-Integrity;
Functional Requirement;
DFD;
Structure-Chart;
Function;
User-Defined-Tokens;
28.
OBJECT CALCULUS WITH FIRST-CLASS CONTINUATIONS
机译:
对象微积分与一流的延续
作者:
Shin-ya NISHIZAKI
;
Ritsuya IKEDA
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Object-oriented programming language;
First-class continuation;
Object calculus;
Operational semantics;
29.
PUSH-BUTTON VERIFICATION AND DEBUGGING FOR COBOL-BASED FINANCIAL SYSTEMS
机译:
基于COBOL的金融系统的按钮验证和调试
作者:
Steven P. C. Bucuvalas
;
Abigail M. Bader
;
Travis D. Nelson
;
Randall Barnhart
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Verification and Validation;
Formal Methods;
COBOL;
Tools;
30.
AN ANNOTATION LANGUAGE FRAMEWORK FOR STATICALLY-TYPED SYNTAX TREES
机译:
用于静态键入的语法树的注释语言框架
作者:
Loren Abrams
;
Ray Toal
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Parser generation;
Syntax trees;
Static typing;
31.
A SERVICE-ORIENTED ARCHITECTURE WITH DOMAIN KNOWLEDGE BASE FOR INTEROPERABILITY OF HETEROGENEOUS DISTRIBUTED BIODIVERSITY RESOURCES
机译:
以服务为导向的架构,具有异构分布式生物多样性资源的互操作性域知识库
作者:
R. Sundaravadivelu
;
R. J. White
;
A. C. Jones
;
W. A. Gray
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Semantic Interoperability;
Heterogeneous databases;
Distributed Query processing;
Biodiversity;
32.
DESIGNING ARCHITECTURE FLEXIBILITY USING SOFTWARE COMPONENTS
机译:
使用软件组件设计架构灵活性
作者:
Frank Nordemann
;
Frank M. Thiesing
;
Matthias Peussner
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
CBSD;
Software architecture;
Reuse;
Flexibility;
Virtualization;
33.
BUSINESS MONITORING SOLUTION FOR AN E-GOVERNMENT FRAMEWORK BASED ON SOA ARCHITECTURE
机译:
基于SOA架构的电子政务框架业务监控解决方案
作者:
Viktor Muller
;
Balazs Simon
;
Zoltan Laszlo
;
Balazs Goldschmidt
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
E-government;
Business monitoring;
Heterogeneous system;
Service-oriented architecture (SOA);
Event modeling;
Event management;
34.
MIST: MODELING INPUT SPACE FOR TESTING TOOL
机译:
雾:测试工具的输入空间建模
作者:
Sergiy A. Vilkomir
;
Khalid A. Abdelfattah
;
Sudha Gummadi
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Software testing;
Software tools;
Input space;
Dependencies among parameters;
35.
COMBINING LATENT SEMANTIC INDEXING AND CALL GRAPHS TO IMPROVE FEATURE LOCATION
机译:
组合潜在语义索引和呼叫图来改进功能位置
作者:
Peng Shao
;
Nicholas A. Kraft
;
Randy K. Smith
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Information Retrieval;
Latent Semantic Indexing;
Call Graph;
Feature Location;
36.
DEVELOPING A SERVICE-ORIENTED COMPONENT FRAMEWORK FOR A LANDSCAPE MODELING LANGUAGE
机译:
为景观建模语言开发面向服务的组件框架
作者:
Ayoub Ait Lahcen
;
Pascal Degenne
;
Danny Lo Seen
;
Didier Parigot
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
Service-oriented component framework;
Landscape applications;
Service orientation;
Landscape modeling;
DSL;
37.
PROBABILISTIC MODEL CHECKING OF AN AUTOMATIC IDENTIFICATION SYSTEM
机译:
自动识别系统的概率模型检查
作者:
Takashi TOYOSHIMA
;
Kazuko TAKAHASHI
会议名称:
《International Association of Science and Technology for Development International Conference on Software Engineering and Applications》
|
2009年
关键词:
AIS;
Model checking;
PRISM;
Probability;
Formal method;
意见反馈
回到顶部
回到首页