掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A modelling proposal for aspect-oriented software architectures
机译:
面向方面的软件架构的建议提案
作者:
Perez J.
;
Navarro E.
;
Letelier P.
;
Ramos I.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
middleware;
network operating systems;
object-oriented programming;
software architecture;
software reusability;
.NET middleware;
PRISMA;
TeachMover robot;
aspect-oriented programming;
aspect-oriented software architectures;
aspect-oriented software development;
co;
2.
A Performance Validation Tool for J2EE Applications
机译:
J2EE应用程序的性能验证工具
作者:
Jiang Guo
;
Yuehong Liao
;
Behzad Parviz
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
3.
An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with a Low Rejection Rate
机译:
具有低拒绝率的负载平衡器串行队列等效模型的分析与测量,具有低抑制率的Web集群
作者:
Ying-Wen Bai
;
Yu-Nien Yang
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
4.
Evaluating cognitive information complexity measure
机译:
评估认知信息复杂性度量
作者:
Kushwaha D.S.
;
Misra A.K.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
cognition;
computational complexity;
software metrics;
Weyuker properties;
cognitive information complexity measure evaluation;
5.
Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems
机译:
分布式固定优先级系统实时分析的事件流修改
作者:
Steffen Kollmann
;
Karsten Albers
;
Frank Bodmann
;
Frank Slomka
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
6.
UMLintr: A UML Profile for Specifying Intrusions
机译:
UmlIntr:用于指定入侵的UML配置文件
作者:
Mohammed Hussein
;
Mohammad Zulkernine
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
7.
WSN-based Intelligent Telematics System
机译:
基于WSN的智能远程信息处理系统
作者:
Jung-sick Byun
;
Woo-Suk Shim
;
Won-Kee Hong
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
8.
FireAnt: a tool for reducing enterprise product line architecture deployment, configuration, and testing costs
机译:
Fireant:一种减少企业产品线架构部署,配置和测试成本的工具
作者:
White J.
;
Schmidt D.C.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
cost reduction;
program testing;
software architecture;
software reusability;
software tools;
cost reduction;
enterprise product line architecture configuration;
enterprise product line architecture deployment;
enterprise product line architecture testing;
model-;
9.
Modelling and Reasoning for Confidentiality Requirements in Software Development
机译:
软件开发中保密要求的建模与推理
作者:
Adeniyi Onabajo
;
Jens H. Jahnke
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
10.
The accuracy of fault prediction in modified code - statistical model vs. expert estimation
机译:
修改码统计模型故障预测的准确性与专家估算
作者:
Tomaszewski P.
;
Hakansson J.
;
Lundberg L.
;
Grahn H.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
software fault tolerance;
statistical analysis;
telecommunication computing;
expert estimation;
fault detection;
fault prediction model;
fault proneness;
modified code;
statistical model;
system component;
telecommunication system;
11.
An Enhanced Model For Agent Based Requirement Gathering And Pre-System Analysis
机译:
基于代理需求收集和预系统分析的增强模型
作者:
Prabhat Ranjan
;
A. K. Misra
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
12.
Change Types of Dynamic System Reconfiguration
机译:
更改动态系统重新配置的类型
作者:
DArcy Walsh
;
Francis Bordeleau
;
Bran Selic
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
13.
A view-based approach for improving software documentation practices
机译:
一种基于视图改进软件文档实践的方法
作者:
Bayer J.
;
Muthig D.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
program verification;
system documentation;
software documentation validation;
software modeling technique;
software system documentation improvement;
view-based software documentation quality;
14.
Change types of dynamic system reconfiguration
机译:
更改动态系统重新配置的类型
作者:
Walsh D.
;
Bordeleau F.
;
Selic B.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
configuration management;
object-oriented programming;
UML class models;
component-based system;
dynamic system reconfiguration;
financial analysis system;
system integrity;
15.
Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules
机译:
新颖的优化方法在逐步的会话建构区域较少,功率约束,TAM和时间最佳测试计划
作者:
Josef Strnadel
;
Arghya Kumar Dhali
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
16.
An enhanced model for agent based requirement gathering and pre-system analysis
机译:
基于代理需求收集和预系统分析的增强模型
作者:
Ranjan P.
;
Misra A.K.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
formal specification;
open systems;
software agents;
software metrics;
systems analysis;
Gaia model;
ROADMAP model;
adaptive system development process;
agent oriented software development;
agent-based open system development;
agent-based requirement gathering;
age;
17.
Deploying Loosely Coupled, Component-based Applications into Distributed Environments
机译:
将松散耦合的基于组件的应用程序部署到分布式环境中
作者:
Abbas Heydarnoori
;
Farhad Mavaddat
;
Farhad Arbab
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
18.
Model checking procedures for infinite state systems
机译:
无限状态系统的模型检查程序
作者:
Bogunovic N.
;
Pek E.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
finite state machines;
formal verification;
temporal logic;
Bakery-Fischer mutual exclusion protocol;
NuSMV;
abstract state space;
finite state model checking tool;
infinite state mutual exclusion protocol;
infinite state system;
predicate abstraction based verif;
19.
A real-time interactive instructor framework for distance education
机译:
远程教育的实时互动教练框架
作者:
Xinyou Zhao
;
Matsumoto M.
;
Yan Zhang
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
Internet;
computer aided instruction;
distance learning;
educational aids;
educational courses;
teaching;
Internet;
PowerPoint technology;
distance education;
electronic board;
instructor-oriented framework;
online courses;
real-time interactive instructor;
virtual c;
20.
Modeling Dependencies in Product Families with COVAMOF
机译:
使用Covamof的产品系列建模依赖性
作者:
Marco Sinnema
;
Sybren Deelstra
;
Jos Nijhuis
;
Jan Bosch
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
21.
A collaboration-oriented software architecture modeling system $JArchiDesigner
机译:
面向协作的软件架构建模系统$ JarchInesigner
作者:
Jiang Guo
;
Yuehong Liao
;
Parviz B.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
formal specification;
groupware;
object-oriented programming;
software architecture;
architectural specification;
collaboration-oriented software architecture modeling system;
collaborative design process;
component-based systems design;
data management;
networki;
22.
Model transformations in the model-based development of real-time systems
机译:
基于模型的实时系统开发模型转换
作者:
Szemethy T.
;
Karsai G.
;
Balasubramanian D.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
embedded systems;
formal specification;
graph grammars;
object-oriented programming;
rewriting systems;
scheduling;
virtual machines;
E-machine;
Giotto language;
UML-based metamodeling;
computer-based system development;
development-time a;
23.
Performance considerations on composite applications
机译:
复合应用的性能考虑因素
作者:
Seelig M.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
business process re-engineering;
software architecture;
cross-business functionality;
service oriented environment;
software architecture;
24.
SET: interactive tool for learning and training scan-based DFT principles and their consequences to parameters of embedded system
机译:
设置:用于学习和培训基于扫描的DFT原理的交互式工具及其对嵌入式系统参数的后果
作者:
Strnadel J.
;
Kotasek Z.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
computer based training;
design for testability;
electronic engineering education;
embedded systems;
interactive systems;
education process;
embedded system;
interactive tool;
learning tool;
scan design;
scan educational tool;
scan-based DFT principles;
testability;
25.
Requirements engineering for the adviser portal bank system
机译:
顾问门户银行系统的需求工程
作者:
Jorgensen J.B.
;
Lassen K.B.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
banking;
computer animation;
formal specification;
portals;
systems analysis;
IT system;
adviser portal bank system;
bank adviser;
formal model;
graphical animation;
prototyping experiment;
requirements engineering;
work process alignment;
work process analysis;
Model;
26.
A Model-Based Statistical Usage Testing of Communication Protocols
机译:
基于模型的通信协议统计使用测试
作者:
Miroslav Popovic
;
Ilija Basicevic
;
Ivan Velikic
;
Jelena Tatic
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
Generic modeling environment;
Statistical usage testing;
Operational profile;
Test cases;
Software reliability;
Test case generator;
Test bed;
Test harness;
27.
Modified Pseudo LRU Replacement Algorithm
机译:
修改伪LRU替换算法
作者:
Hassan Ghasemzadeh
;
Sepideh Mazrouee
;
Mohammad Reza Kakoee
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
28.
Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules
机译:
新颖的优化方法在逐步的会话建构区域较少,功率约束,TAM和时间最佳测试计划
作者:
Strnadel J.
;
Dhali A.K.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
29.
DILSA: distributed in-door location system architecture
机译:
DILSA:分布在门位置系统架构
作者:
Ki-Hyeon Kim
;
Bong-Soo Ha
;
Yong-Doo Lee
;
Won-Kee Hong
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
indoor communication;
mobile computing;
telecommunication network routing;
time-of-arrival estimation;
RF wave;
distributed in-door location system architecture;
location estimation;
location finding;
sequential routing algorithm;
time difference of arrival;
ultra;
30.
Standardized Content Service System for Distributed E-learning Resource
机译:
用于分布式电子学习资源的标准化内容服务系统
作者:
Tao Huang
;
Zongkai Yang
;
Jixin Wang
;
Qingtang Liu
;
Xia Li
;
Gang Zhao
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
31.
Model Checking Procedures for Infinite State Systems
机译:
无限状态系统的模型检查程序
作者:
Nikola Bogunovic
;
Edgar Pek
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
32.
A model-based statistical usage testing of communication protocols
机译:
基于模型的通信协议统计使用测试
作者:
Popovic M.
;
Basicevic I.
;
Velikic I.
;
Tatic J.
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2006年
关键词:
Java;
protocols;
statistical testing;
Java programming;
SIP INVITE client transaction;
SIP protocol stack;
class FSMSystem;
class TestBed;
communication protocol;
generic modeling environment;
generic test case generator;
model-based statistical usage testing;
opera;
33.
Computer Based Psychotherapy for Treatment of Depression and Anxiety
机译:
基于计算机的心理治疗抑郁和焦虑
作者:
Byron Purves
;
David Purves
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
34.
Visualisation of Domain-Specific Modelling Languages Using UML
机译:
使用UML可视化域特定的建模语言
作者:
Bas Graaf
;
Arie van Deursen
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
35.
Design and Description of a Classification System Framework for Easier Reuse
机译:
用于更容易重用的分类系统框架的设计和描述
作者:
Sergio Lopes
;
Adriano Tavares
;
Joao Monteiro
;
Carlos Silva
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
36.
Transformation of Existing Programs into Autonomic and Self-healing Entities
机译:
将现有计划转换为自主和自我修复实体
作者:
M. Muztaba Fuad
;
Michael J. Oudshoorn
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
37.
Testing time goal-driven requirements with Model Checking Techniques
机译:
使用模型检查技术测试时间目标驱动的要求
作者:
Gregorio Diaz
;
Elena Navarro
;
Maria-Emilia Cambronero
;
Valentin Valero
;
Fernando Cuartero
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
38.
End-User Development Framework for Embedded System Applications
机译:
嵌入式系统应用的最终用户开发框架
作者:
Miroslav Sveda
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
39.
A Service-Oriented Extension of the V-Modell XT
机译:
面向服务的V-Modell XT的扩展
作者:
Michael Meisinger
;
Ingolf H. Kruger
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
40.
Introducing Impact Analysis for Architectural Decisions
机译:
引入建筑决策的影响分析
作者:
Matthias Riebisch
;
Sven Wohlfarth
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Refactoring;
Reengineering;
Software Architecture;
Impact Analysis;
Decision Theory;
41.
Alert Fusion for A Computer Host Based Intrusion Detection System
机译:
用于计算机主机的入侵检测系统的警报融合
作者:
Chuan Feng
;
Jianfeng Peng
;
Haiyan Qiao
;
Jerzy W. Rozenblit
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
42.
A Hybrid View in a Laparoscopic Surgery Training System
机译:
腹腔镜手术培训系统中的杂交视图
作者:
Chuan Feng
;
Jerzy W. Rozenblit
;
Allan J. Hamilton
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
43.
Ontological Traceability over the Unified Process
机译:
在统一过程中的本体论可追溯性
作者:
Rodrigo Perozzo Noll
;
Marcelo Blois Ribeiro
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
44.
Component-based System Integration via (Meta) Model Composition
机译:
基于组件的系统集成通过(META)模型组成
作者:
Krishnakumar Balasubramanian
;
Douglas C. Schmidt
;
Zoltan Molnar
;
Akos Ledeczi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
45.
Supporting UML Sequence Diagrams Using a Processor Net Model
机译:
使用处理器网络模型支持UML序列图
作者:
Tony Spiteri Staines
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
46.
Composition of Cyber-Physical Systems
机译:
网络物理系统的构成
作者:
Janos Sztipanovits
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
47.
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
机译:
案例研究:应用LYRA模型S60相机功能
作者:
Jukka Honkola
;
Martti Soderlund
;
Sari Leppanen
;
Markku Turunen
;
Pasi Rinne-Rahkola
;
Kimmo Varpaaniemi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
48.
Application of Bayesian Networks to Architectural Optimisation
机译:
贝叶斯网络在架构优化中的应用
作者:
Artem Parakhine
;
Tim ONeill
;
John Leaney
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
49.
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm
机译:
在分布式界限模型检查算法中探索子句对称性
作者:
H. Barros
;
S. Campos
;
M. Song
;
L. Zarate
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
50.
Model-based Empirical Performance Evaluation based on Relational Traces
机译:
基于模型的基于关系迹线的经验性能评估
作者:
Marko Boskovic
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
51.
An Event-driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation
机译:
一种用于细粒度入侵检测和攻击后缓解的事件驱动架构
作者:
Jianfeng Peng
;
Chuan Feng
;
Haiyan Qiao
;
Jerzy Rozenblit
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
52.
A Multi-Tier, Multi-Role Security Framework for E-Commerce Systems
机译:
电子商务系统的多层,多角色安全框架
作者:
Ernest Cachia
;
Mark Micallef
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Security;
Software Quality Assurance;
Web Applications;
E-Commerce;
53.
Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components
机译:
用于集成和利用分层软件组件中某些非功能性质的模式
作者:
Herve Chang
;
Philippe Collet
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
54.
Integrating Security Modeling into Embedded System Design
机译:
将安全建模集成到嵌入式系统设计中
作者:
Matthew Eby
;
Jan Werner
;
Gabor Karsai
;
Akos Ledeczi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
55.
Model-driven Engineering for Development-time QoS Validation of Component-based Software Systems
机译:
基于组件的软件系统的发展时QoS验证模型驱动工程
作者:
James H. Hill
;
Sumant Tambe
;
Aniruddha Gokhale
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Model-driven system engineering;
Continuous QoS validation;
Code generation;
56.
Behavior Analysis-Based Learning Framework for Host Level Intrusion Detection
机译:
基于行为分析的主机级入侵检测的学习框架
作者:
Haiyan Qiao
;
Jianfeng Peng
;
Chuan Feng
;
Jerzy W. Rozenblit
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
57.
A Practical Approach for Process Family Engineering of Embedded Control Software
机译:
嵌入式控制软件的过程系列工程的实用方法
作者:
Cord Giese
;
Arnd Schnieders
;
Jens Weiland
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
58.
I-Navigate: Intelligent, Self-adapting Navigation Maps
机译:
i-Mavigate:智能,自适应导航地图
作者:
Herwig MAYR
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
GPS;
Automobile and Pedestrian Navigation;
Model-based Incremental Map Creation;
ADAS;
59.
A Process Module to Pre-Process Requirements for Architecting
机译:
一个过程模块,用于架构的预处理要求
作者:
Matthias Galster
;
Armin Eberlein
;
Mahmood Moussavi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
60.
Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
机译:
嵌入式软件中稀疏布尔函数的时间和空间高效评估
作者:
Vaclav Dvorak
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
61.
The strategic impact of service oriented architectures
机译:
服务导向架构的战略影响
作者:
Philipp Liegl
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
62.
Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification
机译:
协调合成和分解:能力识别的复合方法
作者:
Ramya Ravichandar
;
James D. Arthur
;
Robert P. Broadwater
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
63.
DP-Miner: Design Pattern Discovery Using Matrix
机译:
DP-Miner:使用矩阵设计模式发现
作者:
Jing Dong
;
Dushyant S. Lad
;
Yajing Zhao
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Design Pattern;
Reverse Engineering;
Matrix;
XMI;
UML;
Design Pattern Discovery;
64.
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
机译:
评估从嵌入式实时软件中提取的模型的质量
作者:
Joel Huselius
;
Johan Kraft
;
Hans Hansson
;
Sasikumar Punnekkat
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
65.
Methods of Sensors Localization in Wireless Sensor Networks
机译:
无线传感器网络中的传感器定位方法
作者:
Zenon Chaczko
;
Ryszard Klempous
;
Jan Nikodem
;
Michal Nikodem
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
66.
System Level Performance Assessment of SOC Processors with SystemC
机译:
系统级系统级性能评估Systemc的SoC处理器
作者:
Claudio Talarico
;
Min-sung Koh
;
Esteban Rodriguez-Marek
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
67.
Generation of Related Performance Simulation Models at an Early Stage in the Design Cycle
机译:
在设计周期的早期阶段生成相关性能模拟模型
作者:
Andreas W. Liehr
;
Klaus Buchenrieder
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
68.
COTS Selection: Past, Present, and Future
机译:
婴儿床选择:过去,现在和未来
作者:
Abdallah Mohamed
;
Guenther Ruhe
;
Armin Eberlein
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
69.
Formal architecture transformation using heuristics
机译:
使用启发式的正式建筑改造
作者:
Cameron Maxwell
;
Tim ONeill
;
John Leaney
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
70.
Reasoning about cryptographic protocols in observational theories
机译:
关于观察理论中加密协议的推理
作者:
Imen Zaabar
;
Narjes Berregeb
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Security Protocols;
Verification;
Term rewriting;
Observational equivalence;
71.
Dimensionality Reduction for the Control of Powered Upper Limb Prostheses
机译:
控制动力上肢假体的维度减少
作者:
Klaus Buchenrieder
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
72.
A Look at Typical Difficulties in Practical Software Development from the Developer Perspective A Field Study and a First Solution Proposal with UPEX
机译:
从开发人员角度来看,看看实际软件开发中的典型困难是一个野外研究和具有Upex的第一个解决方案
作者:
Ivonne Erfurth
;
Wilhelm R. Rossak
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
73.
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification - I
机译:
利用弱分布企业集成架构正式验证 - 我
作者:
Ernest Cachia
;
Mark Vella
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
74.
Reengineering a Legacy Tool for Software Evolution
机译:
重新创造一个软件演进的遗留工具
作者:
Chia-Chu Chiang
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Components;
CORBA;
Distributed Objects;
Legacy Integration;
Middleware;
Wrapper;
75.
Expanding the view on Complexity within the Architecture Trade-off Analysis Method
机译:
扩展架构权衡分析方法中的复杂性视图
作者:
David Colquitt
;
John Leaney
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Software architecture;
Architecture analysis;
Situational complexity;
ATAM;
76.
Engineering Vertical Orchestration: from Biometric Trace Events to Incident Reporting
机译:
工程垂直编排:从生物识别跟踪事件到事件报告
作者:
Patricia OHagan
;
Edward Hanna
;
Roy Sterritt
;
Paul McKay
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Business orchestration;
Autonomic systems;
Autonomous systems;
Fault tolerance;
Biometrics;
Security;
Reaction;
Pro-action;
Prediction;
77.
Secure Communication Trees in Ad Hoc Networks
机译:
在ad hoc网络中的安全通信树
作者:
Jan NIKODEM
;
Maciej NIKODEM
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
78.
Modeling the Functionality of Multi-Functional Software Systems
机译:
建模多功能软件系统的功能
作者:
Alexander Gruler
;
Alexander Harhurin
;
Judith Hartmann
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
79.
Model Checking of Computer-based Systems
机译:
基于计算机的系统的模型检查
作者:
Jinzhao Wu
;
Wei Yan
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Computer-based systems;
Model checking;
Event structures;
Verification;
80.
Modern Distributed Data Acquisition and Control Systems based on OPC Techniques
机译:
基于OPC技术的现代分布式数据采集与控制系统
作者:
Vu Van Tan
;
Dae-Seung Yoo
;
Myeong-Jae Yi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
OPC;
Data acquisition;
Slow control system;
XML;
Control system aspects;
Security;
81.
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
机译:
嵌入式系统敏捷开发方法:基于平台的设计方法
作者:
Lucas Cordeiro
;
Raimundo Barreto
;
Rafael Barcelos
;
Meuse Oliveira
;
Vicente Lucena
;
Paulo Maciel
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
82.
A Statistical Approach to Model-Based Robustness Testing
机译:
基于模型的鲁棒性测试的统计方法
作者:
Miroslav Popovic
;
Jelena Kovacevic
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
83.
Towards Model-Based Testing with Architecture Models
机译:
以架构模型为基于模型的测试
作者:
Stephan Schulz
;
Jukka Honkola
;
Antti Huima
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
84.
Model-based Data Processing with Transient Model Extensions
机译:
基于模型的数据处理,具有瞬态模型扩展
作者:
Michael Thonhauser
;
Gernot Schmoelzer
;
Christian Kreiner
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Model-driven development;
Data modeling;
85.
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines
机译:
基于国家的建模,支持安全关键软件产品线的演化和维护
作者:
Jing Liu
;
Josh Dehlinger
;
Hongyu Sun
;
Robyn Lutz
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
86.
Motion Planning System for Minimally Invasive Surgery
机译:
微创手术的运动规划系统
作者:
Hanees Haniffa
;
Jerzy Rozenblit
;
Jianfeng Peng
;
Allan Hamilton
;
Mohamad Salkini
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
87.
Design of A Wireless Sensor Network Based Automatic Light Controller in Theater Arts
机译:
基于无线传感器网络的剧院自动光控制器设计
作者:
Chuan Feng
;
Lizhi Yang
;
Jerzy W. Rozenblit
;
Peter Beudert
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
88.
Node-Oriented Modeling and Simulation of IP Networks
机译:
无用的IP网络建模与仿真
作者:
Nanjun Li
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
89.
Validation of Component-based Software with a Customer Centric Domain Level Approach
机译:
具有客户以客户为中心的域级方法验证基于组件的软件
作者:
Oliver Skroch
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
90.
Embedded System Modeling based on Resource-Oriented Model
机译:
基于资源导向模型的嵌入式系统建模
作者:
Jin Hyun Kim
;
Jin-Young Choi
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
91.
A Partitioning Analysis of the .NET Common Language Runtime
机译:
.NET公共语言运行时的分区分析
作者:
Joshua R. Dick
;
Kenneth B. Kent
;
Joseph C. Libby
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
92.
A Theory for Model-based Transformation Applied to Computer-supported Preservation in Digital Archives
机译:
基于模型的转换理论应用于数字档案中的计算机支持的保存
作者:
Thomas Triebsees
;
Uwe M. Borghoff
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
93.
Adaptive misbehavior detection in Wireless Sensors Network based on local community agreement
机译:
基于本地社区协议的无线传感器网络自适应不当行为检测
作者:
Ryszard Klempous
;
Lukasz Radosz
;
Jan Nikodem
;
Norbert Raus
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
94.
Selecting Requirements Engineering Techniques based on Project Attributes - A Case Study
机译:
基于项目属性选择要求工程技术 - 以案例研究
作者:
Li Jiang
;
Armin Eberlein
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Requirements engineering;
Requirements techniques selection;
Software project attributes;
Assessment;
95.
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
机译:
宽无异于Web应用的方面导向模型:AspectWebml方法
作者:
A. Schauerhuber
;
M. Wimmer
;
W. Schwinger
;
E. Kapsammer
;
W. Retschitzegger
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
96.
Model-Based Cyber Security
机译:
基于模型的网络安全
作者:
Galen Rasche
;
Erin Allwein
;
Michael Moore
;
Ben Abbott
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
97.
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
机译:
时间约束SYSML活动图的自动验证和性能分析
作者:
Yosr Jarraya
;
Andrei Soeanu
;
Mourad Debbabi
;
Fawzi Hassaine
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
98.
IPOG: A General Strategy for T-Way Software Testing
机译:
IPOG:T-WAY软件测试的一般策略
作者:
Yu Lei
;
Raghu Kacker
;
D. Richard Kuhn
;
Vadim Okun
;
James Lawrence
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
99.
Dynamic Scheduling of Skippable Periodic Tasks in Weakly-Hard Real-Time Systems
机译:
弱硬实时系统中跳过周期任务的动态调度
作者:
Maryline Chetto
;
Audrey Marchand
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
100.
Diagnosis of Embedded Software using Program Spectra
机译:
使用程序谱诊断嵌入式软件
作者:
Peter Zoeteweij
;
Rui Abreu
;
Rob Golsteijn
;
Arjan J. C. van Gemund
会议名称:
《Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems》
|
2007年
关键词:
Diagnosis;
Program spectra;
Automated debugging;
Embedded systems;
Consumer electronics;
意见反馈
回到顶部
回到首页