掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
召开年:
召开地:
Potsdam
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A collaboration-oriented software architecture modeling system $JArchiDesigner
机译:
面向协作的软件体系结构建模系统$ JArchiDesigner
作者:
Jiang Guo
;
Yuehong Liao
;
Parviz
;
B.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
2.
A framework for understanding heuristics in architectural optimisation
机译:
理解架构优化中的启发式的框架
作者:
Maxwell
;
C.
;
ONeill
;
T.
;
Leaney
;
J.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
software architecture;
architectural change heuristics;
architectural optimisation;
problem-solving mechanisms;
system integrity;
3.
A goal-oriented approach for safety requirements specification
机译:
面向目标的安全要求规范方法
作者:
Navarro
;
E.
;
Sanchez
;
P.
;
Letelier
;
P.
;
Pastor
;
J.A.
;
Ramos
;
I.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
formal specification;
safety-critical software;
software architecture;
telerobotics;
extrapolation;
goal-oriented framework;
safety critical system;
safety requirement identification;
safety requirements specification;
safety standard recommendation;
system archit;
4.
A hybrid intrusion detection and visualization system
机译:
混合入侵检测和可视化系统
作者:
Peng
;
J.
;
Feng
;
C.
;
Rozenblit
;
J.W.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
data visualisation;
security of data;
software agents;
telecommunication security;
autonomous agents;
intrusion detection system;
visualization system;
5.
A measurement-based analysis of the responsiveness of the Linux kernel
机译:
基于度量的Linux内核响应能力分析
作者:
Marchesotti
;
M.
;
Migliardi
;
M.
;
Podesta
;
R.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Linux;
operating system kernels;
real-time systems;
Linux kernel responsiveness;
embedded system;
home multimedia center;
measurement-based analysis;
nonpreemptible code section;
soft real-time system;
embedded systems;
linux;
soft real-time;
6.
A model transformation approach for design pattern evolutions
机译:
设计模式演变的模型转换方法
作者:
Jing Dong
;
Sheng Yang
;
Kang Zhang
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
XML;
object-oriented programming;
UML;
XML metadata interchange;
XSLT transformations;
design pattern evolutions;
model transformation approach;
Design pattern;
Design pattern evolution;
JTP;
Model Transformation;
XMI;
XSLT;
7.
A model-based statistical usage testing of communication protocols
机译:
基于模型的通信协议统计使用情况测试
作者:
Popovic
;
M.
;
Basicevic
;
I.
;
Velikic
;
I.
;
Tatic
;
J.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
8.
A modelling proposal for aspect-oriented software architectures
机译:
面向方面的软件体系结构的建模建议
作者:
Perez
;
J.
;
Navarro
;
E.
;
Letelier
;
P.
;
Ramos
;
I.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
9.
A performance validation tool for J2EE applications
机译:
J2EE应用程序的性能验证工具
作者:
Jiang Guo
;
Yuehong Liao
;
Parviz
;
B.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Java;
distributed processing;
software performance evaluation;
J2EE application;
J2EE performance management system;
JPManager;
Java 2 Platform Enterprise Edition;
Java instrumentation;
enterprise scale distributed system;
large-scale enterprise system;
10.
A prototypical platform for architecture oriented development
机译:
用于面向架构的开发的原型平台
作者:
Tabeling
;
P.
;
Hofmann
;
R.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
data integrity;
distributed processing;
integrated software;
object-oriented programming;
software architecture;
architecture oriented development;
complex systems development;
fundamental modeling concepts;
object oriented languages;
object oriented programming;
11.
A real-time interactive instructor framework for distance education
机译:
远程教育的实时交互式讲师框架
作者:
Xinyou Zhao
;
Matsumoto
;
M.
;
Yan Zhang
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
12.
A state equation for Petri nets with delaying places
机译:
具有延迟位置的Petri网的状态方程。
作者:
Werner
;
M.
;
Muhl
;
G.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Petri nets;
Petri nets;
nonreachability proof;
state equation;
time augmented places;
13.
A unified approach for verification and validation of systems and software engineering models
机译:
验证和确认系统和软件工程模型的统一方法
作者:
Alawneh
;
L.
;
Debbabi
;
M.
;
Hassaine
;
F.
;
Jarraya
;
Y.
;
Soeanu
;
A.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
program testing;
program verification;
SysML;
UML 2.0;
computer-aided assessment tool;
model-checking;
software engineering model;
software validation;
software verification;
systems engineering design model;
14.
A view-based approach for improving software documentation practices
机译:
基于视图的方法,用于改善软件文档编制实践
作者:
Bayer
;
J.
;
Muthig
;
D.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
program verification;
system documentation;
software documentation validation;
software modeling technique;
software system documentation improvement;
view-based software documentation quality;
15.
Achieving reusability through interoperability
机译:
通过互操作性实现可重用性
作者:
Khan
;
H.S.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Java;
network operating systems;
open systems;
software reusability;
.Net language;
Java language;
interoperability;
programming language;
reusability;
16.
Adaptive tracking in distributed wireless sensor networks
机译:
分布式无线传感器网络中的自适应跟踪
作者:
Lizhi Yang
;
Chuan Feng
;
Rozenblit
;
J.W.
;
Haiyan Qiao
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
distributed algorithms;
object detection;
target tracking;
wireless sensor networks;
Predict-and-Mesh;
adaptive tracking;
distributed wireless sensor networks;
moving object tracking;
random movement patterns;
17.
Aligning computing systems with their environment: an agile perspective
机译:
使计算系统与其环境保持一致:敏捷的视角
作者:
Keenan
;
F.
;
Bustard
;
D.W.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
software engineering;
agile philosophy;
agile software development;
computing system;
eXtreme Programming;
soft system methodology;
software product;
18.
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集群的负载均衡器和Web服务器的串行队列等效模型的分析和测量
作者:
Ying-Wen Bai
;
Yu-Nien Yang
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
file servers;
resource allocation;
workstation clusters;
Web cluster;
Web server;
equivalent model;
load balancer;
low rejection rate;
serial queues;
19.
An auto-configurable, and, adaptable, metric-driven cluster-head organisation for hybrid multi-hop routing
机译:
用于混合多跳路由的可自动配置,适应性强,度量驱动的群集头组织
作者:
Migas
;
N.
;
Buchanan
;
W.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
ad hoc networks;
mobility management (mobile radio);
telecommunication network routing;
telecommunication network topology;
adaptable cluster-head organisation;
autoconfigurable cluster-head organisation;
buffering capabilities;
dynamic network topology;
locatio;
20.
An enhanced model for agent based requirement gathering and pre-system analysis
机译:
用于基于代理的需求收集和系统前分析的增强模型
作者:
Ranjan
;
P.
;
Misra
;
A.K.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
21.
Assistant-based mobile supply chain management
机译:
基于助手的移动供应链管理
作者:
Kern
;
S.
;
Dettborn
;
T.
;
Eckhaus
;
R.
;
Yang Ji
;
Erfurth
;
C.
;
Rossak
;
W.
;
Braun
;
P.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
human computer interaction;
mobile computing;
supply chain management;
assistant-based mobile supply chain management;
human interaction;
information transfer;
mobile phone;
production workflows handling;
software assistants;
stock management;
tasks handling;
22.
Automated translation of C/C++ models into a synchronous formalism
机译:
将C / C ++模型自动转换为同步形式主义
作者:
Kalla
;
H.
;
Talpin
;
J.-P.
;
Berner
;
D.
;
Besnard
;
L.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
C++ language;
formal specification;
optimising compilers;
program interpreters;
program verification;
software reusability;
CC++ languages;
CC++ model;
GCC code optimization;
GNU compiler collection source code;
SIGNAL transformation process;
automated translation;
23.
Change types of dynamic system reconfiguration
机译:
更改动态系统重新配置的类型
作者:
Walsh
;
D.
;
Bordeleau
;
F.
;
Selic
;
B.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
configuration management;
object-oriented programming;
UML class models;
component-based system;
dynamic system reconfiguration;
financial analysis system;
system integrity;
24.
Collaborative embedded systems development: survey of state of the practice
机译:
嵌入式系统协同开发:实践情况调查
作者:
Hyysalo
;
J.
;
Parviainen
;
P.
;
Tihinen
;
M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
embedded systems;
groupware;
software engineering;
collaborative embedded systems development;
collaborative software development;
communication building;
engineering tasks;
literature search;
team building;
25.
Conceptual patterns
机译:
概念模式
作者:
Grone
;
B.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
object-oriented programming;
software architecture;
conceptual architecture pattern;
implementing software;
long-lasting system architecture;
pattern language;
software system structure analysis;
system design pattern;
26.
Correct-ed through construction: a model-based approach to embedded systems reality
机译:
通过构建进行校正:一种基于模型的嵌入式系统现实方法
作者:
Jackson
;
E.K.
;
Sztipanovits
;
J.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
embedded systems;
formal specification;
formal verification;
specification languages;
systems analysis;
embedded systems;
model-based approach;
specification correction;
specification language;
27.
Customer-oriented development of complex distributed systems
机译:
面向客户的复杂分布式系统开发
作者:
Erfurth
;
I.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
customer relationship management;
peer-to-peer computing;
software engineering;
asynchronous behavior;
complex distributed system;
customer oriented systems;
customer-friendly reference model;
customer-oriented development;
dynamic distributed systems;
higher lev;
28.
Deploying loosely coupled, component-based applications into distributed environments
机译:
将松耦合的基于组件的应用程序部署到分布式环境中
作者:
Heydarnoori
;
A.
;
Mavaddat
;
F.
;
Arbab
;
F.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
distributed processing;
graph theory;
object-oriented programming;
software engineering;
complex software applications;
component-based applications;
computer network;
graph-based approach;
heterogeneous software components;
software deployment;
29.
Design and evaluation of in-vehicle sensor network for Web based control
机译:
基于Web的车载传感器网络的设计与评估。
作者:
Tae-Hwan Kim
;
Seung-Il Lee
;
Yong-Doo Lee
;
Won-Kee Hong
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Internet;
automotive electronics;
code division multiple access;
mobile computing;
wireless sensor networks;
CDMA network architecture;
Web control;
code division multiple access;
in-vehicle sensor network structure;
information service;
intellectual vehicle;
intel;
30.
Designing algorithm-oriented generic library on .NET framework
机译:
在.NET框架上设计面向算法的通用库
作者:
Rysavy
;
O.
;
Scuglik
;
F.
;
Sveda
;
M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
data structures;
network operating systems;
object-oriented programming;
program verification;
software libraries;
.NET framework;
C++ template parameterization;
Standard Template Library;
algorithm-oriented generic library;
data structures;
generic programming ap;
31.
DILSA: distributed in-door location system architecture
机译:
DILSA:分布式室内定位系统架构
作者:
Ki-Hyeon Kim
;
Bong-Soo Ha
;
Yong-Doo Lee
;
Won-Kee Hong
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
32.
Distinguishing between automatic and manual aspects of model driven development
机译:
区分模型驱动开发的自动和手动方面
作者:
Yucong Duan
;
Yuqing Gu
;
Cheung
;
S.C.
;
Xiaolan Fu
;
Jing Wang
;
Qingwu Hu
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
entity-relationship modelling;
formal specification;
automation level;
automation tasks;
entity relationship model;
model driven development;
model driven software development;
model transformations;
33.
Domain-specific modeling languages for configuring and evaluating enterprise DRE system quality of service
机译:
特定于域的建模语言,用于配置和评估企业DRE系统服务质量
作者:
Paunov
;
S.
;
Hill
;
J.
;
Schmidt
;
D.
;
Baker
;
S.D.
;
Slaby
;
J.M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
distributed processing;
embedded systems;
enterprise resource planning;
formal specification;
object-oriented programming;
quality of service;
simulation languages;
component-based enterprise DRE system;
distributed real-time embedded system;
domain specific mode;
34.
Evaluating alternatives for architecture-oriented refactoring
机译:
评估面向架构的重构的替代方案
作者:
Wohlfarth
;
S.
;
Riebisch
;
M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
decision theory;
software architecture;
software quality;
architectural evolution;
architecture-oriented refactoring;
complex decision process;
large-scale refactoring;
software quality;
software systems;
Decision Theory;
Reengineering;
Refactoring;
Software Archite;
35.
Evaluating cognitive information complexity measure
机译:
评估认知信息复杂性测度
作者:
Kushwaha
;
D.S.
;
Misra
;
A.K.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
cognition;
computational complexity;
software metrics;
Weyuker properties;
cognitive information complexity measure evaluation;
36.
Experiments and investigations for the personal high performance computing (PHPC) built on top of the 64-bit processing and clustering systems
机译:
在64位处理和集群系统之上构建的个人高性能计算(PHPC)的实验和研究
作者:
Chang
;
V.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
home computing;
multiprogramming;
wireless LAN;
workstation clusters;
32 bit;
64 bit;
64-bit processing;
AMD machines;
CPU time;
LAN/wireless networks;
Linux;
Windows;
clustering system;
entertainment system;
hard-disk workload;
multitasking performance;
personal high p;
37.
FireAnt: a tool for reducing enterprise product line architecture deployment, configuration, and testing costs
机译:
FireAnt:一种用于降低企业产品线架构部署,配置和测试成本的工具
作者:
White
;
J.
;
Schmidt
;
D.C.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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-;
38.
Guided architecture-based design optimisation of CBSs
机译:
基于引导的基于结构的CBS设计优化
作者:
Livolsi
;
D.
;
ONeill
;
T.
;
Leaney
;
J.
;
Denford
;
M.
;
Dunsire
;
K.
会议名称:
《》
|
2006年
关键词:
software architecture;
systems analysis;
ABACUS toolset;
CBS quality requirement;
exploratory optimisation;
guided architecture-based design optimisation;
multiple conflicting requirement;
optimal architecture;
pervasive computer-based system;
prototype tool;
soft;
39.
Mission dependability modeling and evaluation of repairable systems considering maintenance capacity
机译:
考虑维护能力的任务可靠性建模和可修复系统评估
作者:
Fang Liu
;
Bo Guo
;
Jianyin Zhao
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
formal specification;
software maintenance;
software reliability;
dependability model;
maintenance condition;
mission dependability modeling;
mission reliability;
mission success probability;
mission successful completion;
mixed multimission success;
repairable sy;
40.
Model checking procedures for infinite state systems
机译:
无限状态系统的模型检查程序
作者:
Bogunovic
;
N.
;
Pek
;
E.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
41.
Model transformations in the model-based development of real-time systems
机译:
基于模型的实时系统开发中的模型转换
作者:
Szemethy
;
T.
;
Karsai
;
G.
;
Balasubramanian
;
D.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
42.
Modeling and analysis of functionality in eHome systems: dynamic rule-based conflict detection
机译:
eHome系统中功能的建模和分析:基于动态规则的冲突检测
作者:
Armac
;
I.
;
Kirchhof
;
M.
;
Manolescu
;
L.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
formal specification;
home computing;
object-oriented programming;
ubiquitous computing;
component-based software construction;
dynamic rule-based conflict detection;
eHome system analysis;
eHome trigger device;
error condition conflict;
formal specification;
mult;
43.
Modeling and reasoning for confidentiality requirements in software development
机译:
对软件开发中的机密性要求进行建模和推理
作者:
Onabajo
;
A.
;
Jahnke
;
J.H.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
authorisation;
formal specification;
systems analysis;
confidentiality requirements;
functional requirements;
nonfunctional requirements;
requirement analysis;
requirements engineering;
software development process;
system development;
44.
Modeling dependencies in product families with COVAMOf
机译:
使用COVAMOf建模产品系列中的依存关系
作者:
Sinnema
;
M.
;
Deelstra
;
S.
;
Nijhuis
;
J.
;
Bosch
;
J.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
formal specification;
systems re-engineering;
COVAMOF;
formalized dependency;
industrial product family;
intelligent traffic system;
modeling dependency;
product derivation problem;
variability modeling;
45.
Modifications on event streams for the real-time analysis of distributed fixed-priority systems
机译:
修改事件流以实时分析分布式固定优先级系统
作者:
Kollmann
;
S.
;
Albers
;
K.
;
Bodmann
;
F.
;
Slomka
;
F.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
distributed processing;
large-scale systems;
real-time systems;
arbitrary time intervals;
complex task system;
distributed fixed-priority system;
event stream model;
event streams;
real-time analysis;
46.
Modified pseudo LRU replacement algorithm
机译:
修改的伪LRU替换算法
作者:
Ghasemzadeh
;
H.
;
Mazrouee
;
S.
;
Kakoee
;
M.R.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
cache storage;
FIFO;
block replacement scheme;
cache memory management;
first in first out algorithm;
least recently used algorithm;
modified pseudo LRU replacement algorithm;
random LRU;
47.
Multi-objective design space exploration methodologies for platform based SOCs
机译:
基于平台的SOC的多目标设计空间探索方法
作者:
Talarico
;
C.
;
Rodriguez-Marek
;
E.
;
Min-sung Koh
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Pareto optimisation;
integrated circuit design;
simulated annealing;
system-on-chip;
MIPS processor;
Pareto optimality;
minimal state processing search;
multiobjective design space exploration;
multiobjective optimization;
parameterized SOC architecture;
performan;
48.
Performance considerations on composite applications
机译:
复合应用程序的性能注意事项
作者:
Seelig
;
M.
会议名称:
《》
|
2006年
关键词:
business process re-engineering;
software architecture;
cross-business functionality;
service oriented environment;
software architecture;
49.
Present and future requirements in developing industrial embedded real-time systems - interviews with designers in the vehicle domain
机译:
开发工业嵌入式实时系统的当前和未来要求-采访车辆领域的设计师
作者:
Hanninen
;
K.
;
Maki-Turja
;
J.
;
Nolin
;
M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
automobile industry;
embedded systems;
formal specification;
safety-critical software;
vehicles;
Swedish companies;
application specific requirements;
heterogeneous development methods;
homogenous development methods;
industrial embedded real-time system;
vehicle;
50.
Rava: designing a Java extension with dynamic object roles
机译:
Rava:设计具有动态对象角色的Java扩展
作者:
Chengwan He
;
Zhijie Nie
;
Bifeng Li
;
Lianlian Cao
;
Keqing He
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Java;
object-oriented programming;
program interpreters;
software reusability;
virtual machines;
Java extension;
Java language;
Java translator;
Java virtual machine;
Rava;
class-based language;
core object;
dynamic object roles;
mediator pattern;
51.
Reliability analysis of multistate systems based on Bayesian networks
机译:
基于贝叶斯网络的多状态系统可靠性分析
作者:
Zhongbao Zhou
;
Guang Jin
;
Doudou Dong
;
Jinglun Zhou
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
belief networks;
inference mechanisms;
reliability theory;
Bayesian network;
diagnosis performance;
inference technique;
logic operator;
multistate system function;
multistate system model;
multistate system structure hierarchy;
reliability analysis;
reliability bl;
52.
Reliable multihop bulk transfer service for wireless sensor networks
机译:
无线传感器网络的可靠多跳批量传输服务
作者:
Volgyesi
;
P.
;
Nadas
;
A.
;
Ledeczi
;
A.
;
Molnar
;
K.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
network operating systems;
reliability;
resource allocation;
telecommunication network routing;
wireless sensor networks;
TinyOS;
WSN operating system;
event detection;
multihop bulk transfer service;
multihop message routing;
power-efficient data transfer;
probabi;
53.
Requirements engineering for the adviser portal bank system
机译:
顾问门户银行系统的需求工程
作者:
Jorgensen
;
J.B.
;
Lassen
;
K.B.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
54.
Requirements for distributed mission-critical decision support systems
机译:
分布式关键任务决策支持系统的要求
作者:
White
;
S.M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
decision support systems;
distributed decision making;
formal specification;
decision making;
decision support systems;
distributed cognition;
information sharing;
mission critical scenarios;
situation assessment;
55.
Safe integration of new concerns in a software architecture
机译:
在软件架构中安全集成新问题
作者:
Barais
;
O.
;
Lawall
;
J.
;
Le Meur
;
A.-F.
;
Duchien
;
L.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
formal specification;
formal verification;
integrated software;
software architecture;
specification languages;
TranSATframework;
architecture description languages;
pattern specification;
pattern verification;
safe integration;
software architecture;
56.
SET: interactive tool for learning and training scan-based DFT principles and their consequences to parameters of embedded system
机译:
SET:用于学习和训练基于扫描的DFT原理及其对嵌入式系统参数的影响的交互式工具
作者:
Strnadel
;
J.
;
Kotasek
;
Z.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
57.
Standardized content service system for distributed e-learning resource
机译:
分布式电子学习资源的标准化内容服务系统
作者:
Tao Huang
;
Zongkai Yang
;
Jixin Wang
;
Qingtang Liu
;
Xia Li
;
Gang Zhao
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Internet;
Java;
access protocols;
computer aided instruction;
content management;
distributed processing;
J2EE;
SOAP protocol;
Web services;
distributed e-learning resource;
standardized content service system;
58.
Supporting design patterns with annotations
机译:
带注释的支持设计模式
作者:
Meffert
;
K.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Java;
object-oriented programming;
source coding;
systems re-engineering;
Java language;
design pattern intentions;
design pattern templates;
documented patterns;
object-oriented software;
object-oriented source code;
semantic assertions;
Java.;
annotations;
design p;
59.
The accuracy of fault prediction in modified code - statistical model vs. expert estimation
机译:
修改代码中故障预测的准确性-统计模型与专家估计
作者:
Tomaszewski
;
P.
;
Hakansson
;
J.
;
Lundberg
;
L.
;
Grahn
;
H.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
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;
60.
The feature-architecture mapping (FArM) method for feature-oriented development of software product lines
机译:
面向特征的软件产品线开发的特征架构映射(FArM)方法
作者:
Sochos
;
P.
;
Riebisch
;
M.
;
Philippow
;
I.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
object-oriented programming;
software architecture;
software maintenance;
FArM architecture;
PL feature model;
architectural component;
business logic;
complex system;
feature-architecture mapping;
feature-oriented development;
plug-in mechanism;
software product l;
61.
UMLintr: a UML profile for specifying intrusions
机译:
UMLintr:用于指定入侵的UML配置文件
作者:
Hussein
;
M.
;
Zulkernine
;
M.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
formal specification;
security of data;
UML profile notation;
UMLintr;
Unified Modeling Language;
attack scenario;
functional requirement specification;
intrusion scenario specification;
nonfunctional requirement representation;
nonfunct;
62.
Using a timed Petri net (TPN) to model a bank ATM
机译:
使用定时Petri网(TPN)建模银行ATM
作者:
Staines
;
T.S.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Petri nets;
authorisation;
automatic teller machines;
bank data processing;
real-time systems;
software performance evaluation;
bank ATM;
card authorization system;
hardware performance;
performance analysis;
soft real time system;
software development;
software per;
63.
Variability mechanism centric process family architectures
机译:
以可变性机制为中心的流程族体系结构
作者:
Schnieders
;
A.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
Unified Modeling Language;
software architecture;
UML activity diagram;
Unified Modeling Language;
model-driven variability implementation;
process family architecture design;
process family architecture modeling;
process family engineering;
process oriented sof;
64.
WSN-based intelligent telematics system
机译:
基于WSN的智能远程信息处理系统
作者:
Jung-sick Byun
;
Woo-Suk Shim
;
Won-Kee Hong
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
关键词:
real-time systems;
road traffic;
road vehicles;
traffic engineering computing;
wireless sensor networks;
intelligent real time services;
intelligent telematics system;
vehicle telematics;
wireless sensor network;
65.
Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach
机译:
从异构存储库检索软件组件:语义句法方法
作者:
Pyne
;
R.A.
;
Mugisa
;
E.K.
会议名称:
《》
|
2006年
66.
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.
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
|
2006年
67.
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems - Title Page
机译:
第13届IEEE国际计算机专题讨论会和研讨会-标题页
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
68.
Committees
机译:
委员会
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
69.
Author Index
机译:
作者索引
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
70.
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems - Copyright
机译:
第13届IEEE国际计算机专题讨论会和研讨会-版权
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
71.
Welcome
机译:
欢迎
会议名称:
《Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on》
意见反馈
回到顶部
回到首页