掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
召开年:
2004
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Throughput computing
机译:
吞吐量计算
作者:
Matena
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
multi-threading;
microprocessor chips;
cost reduction;
IT budget;
competitive advantage;
Sun throughput computing strategy;
integrated microprocessors;
competitive services;
network computing;
dual-threaded UltraSPARC IV processor;
CMT processor;
2.
A formal approach for interoperability between mobile agent systems and component based architectures
机译:
用于移动代理系统和基于组件的体系结构之间互操作性的正式方法
作者:
Pinsdorf
;
U.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
mobile agents;
object-oriented programming;
open systems;
formal specification;
interoperability;
mobile agent systems;
component based architectures;
grafted component type;
3.
A service-oriented software architecture for mobile agent toolkits
机译:
移动代理工具包的面向服务的软件体系结构
作者:
Braun
;
P.
;
Muller
;
I.
;
Geisenhainer
;
S.
;
Schau
;
V.
;
Rossak
;
W.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software architecture;
mobile agents;
open systems;
object-oriented programming;
service-oriented software architecture;
Tracy mobile agent toolkits;
software agents;
agent migration;
agent communication;
kernel-based approach;
4.
Applications for mobile agents in peer-to-peer-networks
机译:
对等网络中移动代理的应用
作者:
Lubke
;
D.
;
Gomez
;
J.M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
mobile agents;
peer-to-peer computing;
Internet;
mobile agents;
peer-to-peer-networks;
Internet;
application examples;
5.
Efficient SOAP processing in embedded systems
机译:
嵌入式系统中的高效SOAP处理
作者:
Janecek
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
remote procedure calls;
embedded systems;
XML;
access protocols;
program compilers;
formal specification;
message passing;
Internet;
distributed object management;
Java;
client-server systems;
embedded systems;
XML-based RPC communication;
control systems sensors;
control system actuators;
textual message parsing;
Simple Object Access Protocol;
Web Service Description Language;
UDDI servers;
SOAP services;
C language;
Java;
C;
6.
Exploring autonomic options in an unified fault management architecture through reflex reactions via pulse monitoring
机译:
通过脉冲监测的反射反应来探索统一故障管理架构中的自主选项
作者:
Sterritt
;
R.
;
Gunning
;
D.
;
Meban
;
A.
;
Henning
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
fault tolerant computing;
system monitoring;
telecommunication networks;
open systems;
embedded systems;
telecommunications fault management architecture;
reflex-healing dual strategy;
reflex reaction;
pulse monitor;
fault tolerant heartbeat monitor mechanism;
reflex urgency levels;
health check summary information;
7.
Improving CBS tool development with technological spaces
机译:
利用技术空间改善CBS工具开发
作者:
Sprinkle
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal specification;
software metrics;
Unified Modeling Language;
software architecture;
computer aided software engineering;
software tools;
CBS tool development;
computer based system;
formal specification;
hand-coding implementation;
cascading transformation;
technological space;
8.
Self-adaptive and self-healing message passing strategies for process-oriented integration infrastructures
机译:
面向流程的集成基础结构的自适应和自我修复的消息传递策略
作者:
Caseau
;
Y.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
message passing;
quality of service;
system recovery;
self-adaptive message passing;
self-healing message passing;
process-oriented integration infrastructures;
enterprise application integration infrastructures;
component systems;
processflow engine;
quality of service;
service level agreements;
9.
Simulation and verification tool for hierarchical real-time systems
机译:
分层实时系统的仿真和验证工具
作者:
Sebestyenova
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
graphical user interfaces;
formal verification;
real-time systems;
digital simulation;
object-oriented programming;
C++ language;
computerized tool;
statecharts based modeling;
reactive system simulation;
timing constraints;
GUI;
state reachability;
model-checking algorithm;
statecharts verification;
state-transition graph;
hierarchical real-time systems verification tool;
10.
Simulation approach to embedded system programming and testing
机译:
嵌入式系统编程和测试的仿真方法
作者:
Grillinger
;
P.
;
Brada
;
P.
;
Racek
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
embedded systems;
software quality;
safety-critical software;
program testing;
formal verification;
software fault tolerance;
embedded system programming;
production code;
software quality;
embedded safety-critical software;
formal verification;
brake-by-wire application development;
11.
WASP: a radio geolocation system on highly resource constrained mobile platforms
机译:
WASP:在资源紧张的移动平台上的无线电地理定位系统
作者:
Kumar Chhokra
;
Bapty
;
T.
;
Scott
;
J.
;
Winberg
;
S.
;
Sztipanovits
;
J.
;
van Rheeden
;
D.
;
Abbott
;
B.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
remotely operated vehicles;
Global Positioning System;
open systems;
resource allocation;
mobile computing;
synchronisation;
mobile robots;
software radio;
WASP radio geolocation system architecture;
resource constrained mobile platforms;
civilian arena;
military arena;
mobile unmanned sensor fleets;
unmanned aerial vehicles;
distributed mobile RF sensor processing system;
low payload cost;
power-limited components;
real-time constraints;
common clocks;
environmental conditions;
tradeoff decisions;
operational logistics;
12.
A comparative analysis of object-oriented and other methods for modeling computer based systems
机译:
面向对象和其他基于计算机的系统建模方法的比较分析
作者:
White
;
S.M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
object-oriented methods;
formal verification;
formal specification;
software prototyping;
entity-relationship modelling;
computer based systems modeling;
entity-relationship model;
systems analysis;
formal specification;
partial order temporal approach;
object-oriented methods;
13.
A concept of an integrated development environment for reactive systems
机译:
反应系统集成开发环境的概念
作者:
Velikic
;
I.
;
Popovic
;
M.
;
Kovacevic
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
finite state machines;
software prototyping;
software quality;
quality assurance;
research and development management;
integrated development environment;
reactive systems;
modern engineering;
computer based system;
finite state machine;
software production process;
software development cycle;
14.
A design framework for Internet-based embedded distributed systems
机译:
基于Internet的嵌入式分布式系统的设计框架
作者:
Sveda
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
embedded systems;
formal specification;
software reusability;
program verification;
software standards;
IEEE standards;
Internet;
object-oriented methods;
software prototyping;
transport protocols;
Internet-based embedded distributed systems;
verifiable formal specifications;
Internet-based distributed HW/SW components;
software reusability;
a specification-driven design framework;
IEEE 1451-based embedded distributed systems;
integrated networking framework;
IEEE 1451.1 object-based networking model;
Internet Protocol multicast;
distributed components;
design life cycle phases;
15.
A foundation for tool-supported critical systems development with UML
机译:
使用UML开发工具支持的关键系统的基础
作者:
Jurjens
;
J.
;
Shabalin
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software tools;
Unified Modeling Language;
finite automata;
formal verification;
formal specification;
object-oriented methods;
safety-critical software;
software quality;
Unified Modeling Language;
UML machines;
standard specification language;
tool-supported critical system development;
formal models;
object-oriented design;
formal specification;
formal verification;
secure computing;
16.
An approach for the verification of UML models using B
机译:
使用B验证UML模型的方法
作者:
Truong
;
N.-T.
;
Souquieres
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
program verification;
Unified Modeling Language;
program compilers;
object-oriented programming;
programming language semantics;
formal verification;
UML model;
B abstract machines;
UML metamodel;
check proof obligation;
UML semantics;
class diagram;
core package;
17.
An explicit definition of connectors for component-based software architecture
机译:
基于组件的软件体系结构的连接器的明确定义
作者:
Oussalah
;
M.
;
Smeda
;
A.
;
Khammaci
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software architecture;
object-oriented programming;
software reusability;
systems analysis;
architecture description language;
heterogeneous component-based system;
component-based software architecture;
systems design;
software reuse;
connectors;
operational mechanism;
18.
Applying model checking to workflow verification
机译:
将模型检查应用于工作流验证
作者:
Pfeiffer
;
J.-H.
;
Rossak
;
W.R.
;
Speck
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal specification;
program verification;
temporal logic;
electronic commerce;
workflow management software;
software process improvement;
model checking;
workflow verification;
temporal logic specification verification;
state-transition systems;
source code;
software quality improvement;
Intershop e-commerce software systems;
quality assurance;
19.
Architectural description with integrated data consistency models
机译:
具有集成数据一致性模型的架构描述
作者:
Tabeling
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software architecture;
data integrity;
data models;
transaction processing;
distributed algorithms;
architectural description;
integrated data consistency model;
distributed system;
high-level architectural model;
low-level architectural model;
transactional techniques;
snapshot algorithm;
programming language;
runtime environment;
software architecture;
fundamental modeling concepts;
20.
Closing the gap between software modelling and code
机译:
缩小软件建模和代码之间的差距
作者:
Wagner
;
F.
;
Wagner
;
T.
;
Wolstenholme
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
finite state machines;
XML;
Unified Modeling Language;
software prototyping;
software implementation;
software modelling;
system behaviour;
finite state machine;
XML;
UML;
21.
Contracts and games in controller synthesis for discrete systems
机译:
离散系统控制器综合中的合同和博弈
作者:
Back
;
R.-J.
;
Seceleanu
;
C.C.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
discrete systems;
game theory;
control system synthesis;
controllers;
formal verification;
formal specification;
data structures;
discrete systems;
contracts;
action system;
producer-consumer application;
controller synthesis game;
22.
Design and optimization of distributed control system using UML model
机译:
基于UML模型的分布式控制系统设计与优化
作者:
Kotzian
;
J.
;
Srovnal
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
Unified Modeling Language;
distributed control;
embedded systems;
controller area networks;
control system analysis;
optimisation;
surveillance;
control systems;
UML model;
distributed control systems;
embedded systems;
industrial bus;
CAN;
KUPSON Electronic Article Surveillance Control System;
23.
DVTG and Test Harnessing using Rosetta specifications
机译:
DVTG和使用Rosetta规范的测试线束
作者:
Zinjuwadia
;
K.
;
Alexander
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal specification;
program verification;
program testing;
XML;
automatic test pattern generation;
specification languages;
DVTG tool;
Test Harness tool;
Rosetta specifications;
specification-based verification;
program testing;
automatic test vector generation;
test requirements;
XML;
test program authentication;
test scenarios;
test initialization;
24.
Formal abstract architecture for use case specifications
机译:
用例规范的正式抽象架构
作者:
Rysavy
;
O.
;
Bures
;
F.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal specification;
specification languages;
object-oriented methods;
programming language semantics;
formal logic;
abstract data types;
object-oriented programming;
formal abstract architecture;
specification language;
informal modeling artifact;
computer-based system;
programming language semantic;
higher-order logic;
abstract specification;
25.
Formal approach to synthesis of a test controller
机译:
正式的测试控制器综合方法
作者:
Ruzicka
;
R.
;
Tupec
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
circuit testing;
digital circuits;
finite state machines;
formal languages;
circuit analysis computing;
automatic test pattern generation;
logic testing;
design for testability;
test controller synthesis;
RT level digital circuit testing;
finite state machine;
circuit primary input ports;
formal language;
grammar;
26.
GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems
机译:
GeneralStore-一种CASE工具集成平台,可为嵌入式电子系统实现异构设计的模型级耦合
作者:
Reichmann
;
C.
;
Kiihl
;
M.
;
Graf
;
P.
;
Muller-Glaser
;
K.D.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
computer aided software engineering;
software tools;
object-oriented methods;
Unified Modeling Language;
meta data;
electronic data interchange;
embedded systems;
program compilers;
software metrics;
concurrent engineering;
configuration management;
GeneralStore tool;
CASE-tool integration platform;
heterogeneous subsystem design;
embedded electronic systems;
code generation;
object-oriented system modeling;
software component;
time-discrete model;
time-continuous model;
Unified Modeling Language;
meta object facility;
XML metadata interchange format;
UML-CASE-tools;
concurrent engineering;
configuration management;
MATLAB tool;
Simulink tool;
Stateflow tool;
ARTiSAN real-time studio;
27.
Hand-written vs. MOF-based metadata repositories: the SOFA experience
机译:
手写与基于MOF的元数据存储库:SOFA经验
作者:
Hnetynka
;
P.
;
Pise
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
meta data;
open systems;
distributed object management;
Unified Modeling Language;
formal specification;
distributed databases;
object-oriented programming;
MOF-based metadata repository management;
distributed interoperable systems;
component-based distributed environment;
hand-written repository;
real component model;
SOFA experience;
28.
Modeling and simulation of stability and support operations (SASO)
机译:
稳定与支援行动(SASO)的建模与仿真
作者:
Suantak
;
L.
;
Momen
;
F.
;
Rozenblit
;
J.
;
Hillis
;
D.
;
Barnes
;
M.
;
Schlabach
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
military computing;
greedy algorithms;
evolutionary computation;
data visualisation;
stability and support operations;
military operations;
course of action;
coevolutionary genetic algorithm;
wargaming model;
29.
Particle rendering engine in DSP and FPGA
机译:
DSP和FPGA中的粒子渲染引擎
作者:
Zemcik
;
P.
;
Herout
;
A.
;
Crha
;
L.
;
Fucik
;
O.
;
Tupec
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
rendering (computer graphics);
computer graphic equipment;
field programmable gate arrays;
digital signal processing chips;
particle rendering engine;
field programmable gate array;
3D point-clouds rendering;
FPGA chip;
DSP processor;
triangle meshes;
digital signal processing;
30.
Performance analysis of embedded systems in the virtual component co-design environment
机译:
虚拟组件协同设计环境中嵌入式系统的性能分析
作者:
Garg
;
P.
;
Gupta
;
A.
;
Rozenblit
;
J.W.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
embedded systems;
software performance evaluation;
hardware-software codesign;
decision making;
virtual prototyping;
embedded systems;
performance metrics;
quantitative estimation;
multicriteria decision making;
virtual component codesign;
31.
Personal autonomic computing self-healing tool
机译:
个人自主计算自我修复工具
作者:
Sterritt
;
R.
;
Chung
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
personal computing;
peer-to-peer computing;
transport protocols;
Java;
C language;
personal autonomic computing;
self-healing tool;
peer-to-peer mode;
pulse monitor;
health monitor;
UDP;
Java;
C;
32.
Role-playing, group work and other ambitious teaching methods in a large requirements engineering course
机译:
大型需求工程课程中的角色扮演,小组工作和其他雄心勃勃的教学方法
作者:
Al-Ani
;
B.
;
Yusop
;
N.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
educational institutions;
certification;
groupware;
teaching;
engineering education;
educational courses;
formal specification;
systems analysis;
software tools;
computer science education;
requirements engineering;
Graduate Certificate;
Graduate Diploma;
lecturing method;
role-playing;
peer-assessment;
group work environment;
online support tool;
ambitious teaching method;
requirements engineering course;
information technology;
33.
Suffix caching techniques of streaming media based on batch patching
机译:
基于批处理补丁的流媒体后缀缓存技术
作者:
Cai Qingsong
;
Li Zimu
;
Hu Jianping
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
cache storage;
resource allocation;
bandwidth allocation;
multimedia communication;
file servers;
Internet;
video streaming;
media suffix caching techniques;
dynamic caching;
optimized batch patching;
IC-BP method;
PA-BP method;
backbone bandwidth consumption;
media streaming systems;
average bandwidth;
average server channels;
maximum cache capacity;
aggregate delivery cost;
server load;
delivery cost;
patch traffic;
incoming data pre-buffering;
batch interval;
34.
Supporting evolutionary development by feature models and traceability links
机译:
通过特征模型和可追溯性链接支持进化发展
作者:
Riebisch
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software prototyping;
software maintenance;
formal specification;
software development management;
software reusability;
software architecture;
software tools;
software evolutionary development;
feature models;
traceability links;
software design elements;
software maintenance;
formal specification;
35.
The scheduling algorithms in software architecture modeling
机译:
软件架构建模中的调度算法
作者:
Jiang Guo
;
Yuehong Liao
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software architecture;
formal specification;
formal verification;
software prototyping;
software tools;
scheduling;
component-based systems design;
formal specification;
software design;
formal verification;
scheduling algorithm;
software architecture modeling;
Web-based software architecture prototyping system;
36.
Theory and applications of evolvable embedded systems
机译:
演化嵌入式系统的理论与应用
作者:
Sekanina
;
L.
;
Drabek
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
embedded systems;
field programmable gate arrays;
reconfigurable architectures;
formal specification;
hardware-software codesign;
evolutionary computation;
evolvable embedded systems;
evolvable hardware system;
evolutionary functional recovery;
damaged median circuit;
37.
Validation of reactive embedded systems against temporal requirements
机译:
根据时间要求验证反应性嵌入式系统
作者:
Strug
;
J.
;
Deniziak
;
S.
;
Sapiecha
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
embedded systems;
automatic test pattern generation;
formal verification;
logic testing;
formal specification;
systems analysis;
temporal logic;
reactive embedded system validation;
temporal requirements;
automatic test scenario generation;
functional requirements;
time constraint verification;
38.
WICCAP: from semi-structured data to structured data
机译:
WICCAP:从半结构化数据到结构化数据
作者:
Zhoa Li
;
Wee Keong Ng
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
distributed databases;
information retrieval;
knowledge representation;
Internet;
information retrieval systems;
knowledge based systems;
grammars;
tree data structures;
hypermedia markup languages;
data integrity;
WICCAP Web data extraction system;
structured data;
data integrity;
Web based semistructured data;
information mediator;
heterogeneous data sources;
semistructured documents;
structured databases;
knowledge representation;
hidden rules;
grammar induction;
inductive logic programming;
hierarchical structure;
wrapper generation;
Web Data Extraction Language;
Web data resources;
rule generation features;
HTML documents;
39.
IRIS: a semi-formal approach for detecting requirements interactions
机译:
IRIS:一种用于检测需求交互的半正式方法
作者:
Shehata
;
M.
;
Eberlein
;
A.
;
Fapojuwo
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal verification;
software development management;
software prototyping;
requirements engineering;
software development life cycle;
requirements interaction detection;
telecommunications domain;
IRIS semiformal approach;
40.
Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT
机译:
两种传统的多智能体系统LOGOS和ACT的一些自治特性
作者:
Truszkowski
;
W.
;
Rash
;
J.
;
Rouff
;
C.
;
Hinchey
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
multi-agent systems;
space vehicles;
aerospace computing;
autonomic properties;
multiagent systems;
space flight missions;
cost reduction;
nanosatellites;
science data-gathering;
agent-based system;
Lights-out Ground Operations System;
Agent Concept Testbed;
41.
A methodology for requirements engineering process development
机译:
需求工程流程开发的方法
作者:
Jiang
;
L.
;
Eberlein
;
A.
;
Far
;
B.H.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
project management;
formal specification;
knowledge based systems;
decision making;
software process improvement;
software development management;
requirements engineering process development;
knowledge base;
decision support mechanism;
process building block;
standard templates;
42.
Advanced Bayesian optimization algorithms applied in decomposition problems
机译:
先进的贝叶斯优化算法在分解问题中的应用
作者:
Schwarz
;
J.
;
Ocenasek
;
J.
;
Jaros
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
belief networks;
problem solving;
processor scheduling;
probability;
estimation theory;
sampling methods;
knowledge acquisition;
genetic algorithms;
parallel programming;
Bayesian optimization algorithms;
decomposition problems;
complex NP-complete combinatorial optimization problems;
hypergraph-partitioning problem;
multiprocessor scheduling problem;
Mixed Bayesian optimization algorithm;
evolutionary algorithms;
probabilistic model estimation;
probabilistic model sampling;
task graphs;
knowledge based MBOA algorithms;
43.
Functional and object-oriented views in embedded software modeling
机译:
嵌入式软件建模中的功能和面向对象的视图
作者:
Fernandes
;
J.M.
;
Lilius
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
data flow analysis;
object-oriented programming;
object-oriented methods;
Unified Modeling Language;
functional programming;
structured programming;
embedded systems;
flowcharting;
functional programming;
object-oriented modeling;
embedded software;
data flow diagram;
Unified Modeling Language;
UML;
software engineering;
structured programming;
44.
Gradient method with topology discovery for load-balancing in active networks
机译:
主动网络中用于负载均衡的具有拓扑发现的梯度方法
作者:
Koutny
;
T.
;
Safarik
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
resource allocation;
distributed processing;
telecommunication network topology;
open systems;
gradient methods;
directed graphs;
gradient method;
network topology discovery;
load balancing;
active networks;
distributed applications;
virtual topology;
45.
Non-functional refinement of computer based systems architecture
机译:
基于计算机的系统架构的非功能性改进
作者:
Denford
;
M.
;
Leaney
;
J.
;
ONeill
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
abstract data types;
open systems;
formal specification;
client-server systems;
file servers;
formal verification;
software reusability;
object-oriented methods;
nonfunctional refinement;
computer based systems architecture;
architecture based refinement;
formal underpinning;
abstract data types;
term rewriting;
client server architectural pattern;
right design decision;
46.
Requirements trade-offs during UML design
机译:
UML设计期间的需求权衡
作者:
Andrews
;
A.
;
Runeson
;
P.
;
France
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
Unified Modeling Language;
fault tolerance;
formal specification;
object-oriented programming;
software performance evaluation;
object-oriented methods;
pervasive system dependability;
cross-cuts design;
aspect-oriented modeling;
functional structure;
requirements trade-off mechanism;
fault-tolerance;
security requirement;
UML design;
47.
Symbolic model checking of UML statechart diagrams with an integrated approach
机译:
使用集成方法对UML状态图进行符号模型检查
作者:
Lam
;
V.S.W.
;
Padget
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal verification;
formal specification;
Unified Modeling Language;
finite state machines;
pi calculus;
diagrams;
symbolic model checking;
UML statechart diagram;
Unified Modeling Language;
formal specification;
formal verification;
finite state system;
/spl pi/calculus;
SET/A protocol;
48.
Systems modeling requirements specification using ECSAM: a method for embedded computer-based systems analysis
机译:
使用ECSAM的系统建模和需求规范:一种基于嵌入式计算机的系统分析方法
作者:
Lavi
;
J.Z.
;
Kudish
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
systems analysis;
formal specification;
formal verification;
embedded systems;
requirements engineering;
computer-based system;
embedded system;
systematic analysis;
conceptual architecture;
systems design;
system requirements;
systems modeling;
requirement specification;
49.
Tool support for DFD-UML model-based transformations
机译:
对基于DFD-UML模型的转换的工具支持
作者:
Truscan
;
D.
;
Fernandes
;
J.M.
;
Lilius
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
data flow analysis;
object-oriented methods;
Unified Modeling Language;
embedded systems;
programming environments;
formal specification;
software tools;
flowcharting;
automatic programming;
tool support;
DFD;
data flow diagram;
UML;
Unified Modelling Language;
model-based transformation;
object-oriented computing;
embedded system environment;
IPv6 router case study;
50.
Using feature modeling for program comprehension and software architecture recovery
机译:
使用功能建模进行程序理解和软件体系结构恢复
作者:
Pashov
;
I.
;
Riebisch
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
systems re-engineering;
software architecture;
software prototyping;
software maintenance;
reverse engineering;
formal verification;
object-oriented programming;
legacy software system;
software architecture recovery;
feature modeling;
reverse engineering;
program comprehension;
component-based architecture;
software refactoring;
industrial image processing system;
51.
An efficient implementation of the 1D DCT using FPGA technology
机译:
使用FPGA技术的一维DCT的有效实现
作者:
El-Banna
;
H.
;
El-Fattah
;
A.A.
;
Fakhr
;
W.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
discrete cosine transforms;
field programmable gate arrays;
distributed arithmetic;
distributed algorithms;
one-dimensional 8 point discrete cosine transform;
field programmable gate array;
minimization;
distributed arithmetic;
distributed algorithm;
52.
COTS (commercial off the shelf) distributed system for critical application
机译:
适用于关键应用的COTS(现成的商用)分布式系统
作者:
Oplustil
;
V.
;
Gaspar
;
L.
;
Svacina
;
D.
;
Szabo
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
controller area networks;
legged locomotion;
distributed control;
control systems;
protocols;
multiprocessing systems;
motion control;
avionics;
aerospace control;
controller area network;
distributed CAN based control system design;
autonomous locomotion robot;
VUTBOT-2;
system of aviation modules description;
airborne applications;
higher layer protocol;
CANAerospace protocol;
data format definition;
microprocessor-based systems;
commercial off the shelf;
COTS distributed system;
53.
A model-based self-adaptive approach to image processing
机译:
基于模型的自适应图像处理方法
作者:
Nichols
;
J.
;
Bapty
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
computational complexity;
image sequences;
embedded systems;
self-adjusting systems;
feedback;
image representation;
computer architecture;
parallel processing;
model integrated computing;
image processing systems;
parallel-embedded systems;
adaptive image-processing environment;
hardware architectures;
model-based self-adaptive approach;
54.
A modular approach to systemC-based codesign promoting reuse of high-level legacy C-models
机译:
基于systemC的代码签名的模块化方法可促进高级旧式C模型的重用
作者:
Blaurock
;
O.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
C++ language;
hardware-software codesign;
specification languages;
system-on-chip;
formal verification;
software maintenance;
systems-on-chip;
C++ language;
SDL;
hardware components;
systemC-based codesign;
high-level legacy C-models;
55.
Towards a model-driven architecture for autonomic systems
机译:
建立自主系统的模型驱动架构
作者:
Gracanin
;
D.
;
Bohner
;
S.A.
;
Hinchey
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
multi-agent systems;
open systems;
software architecture;
Java;
model-driven architecture;
autonomic systems;
agent based systems;
Cognitive Agent Architecture;
distributed applications;
general COUGAAR application model;
general domain application model;
56.
ADC position-sense interface
机译:
ADC位置检测接口
作者:
Haze
;
J.
;
Vrba
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
analogue-digital conversion;
accelerometers;
capacitive sensors;
displacement measurement;
ADC position-sense interface;
common-mode input voltage;
CADENCE design tool;
input acceleration;
57.
The survey of some aspects of European higher education at the beginning of the third millennium
机译:
在第三个千年初对欧洲高等教育某些方面的调查
作者:
Honsik
;
J.M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
further education;
educational institutions;
quality assurance;
social aspects of automation;
government;
European higher education;
third millennium;
European Credit Transfer System;
European Credit Transfer Accumulation System;
Diploma Supplement;
quality assurance;
Post-Bologna process;
European University Association;
58.
Evolution of software for embedded systems in Processor Expert
机译:
Processor Expert中嵌入式系统软件的演变
作者:
Kolar
;
D.
;
Cerny
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software prototyping;
embedded systems;
software tools;
object-oriented programming;
project support environments;
software evolution;
embedded systems;
Processor Expert toolset;
software development cycle;
59.
An implementation of self-protected mobile agents
机译:
自我保护的移动代理的实现
作者:
Ametller
;
J.
;
Robles
;
S.
;
Ortega-Ruiz
;
J.A.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
mobile agents;
cryptography;
software portability;
software reusability;
self-protected mobile agents;
platform-based cryptographic services;
inter-platform portability;
agent code protection;
legacy system reengineering;
JADE platform;
60.
Asteroid exploration with autonomic systems
机译:
用自主系统探索小行星
作者:
Truszkowski
;
W.
;
Rash
;
J.
;
Rouff
;
C.
;
Hinchey
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
asteroids;
space vehicles;
multi-agent systems;
aerospace computing;
asteroid exploration;
autonomic systems;
NASA;
robotic exploration mission;
Autonomous Nano Technology Swarm mission;
autonomous agents;
worker agents;
messenger agents;
spacecraft;
61.
Efficient and effective simulation of memory maps for system-on-chip
机译:
高效而有效的芯片系统内存映射仿真
作者:
Luculli
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
system-on-chip;
cache storage;
embedded systems;
reconfigurable architectures;
logic design;
hardware-software codesign;
memory architecture;
memory map simulation;
system-on-chip;
embedded software;
hardware architecture;
data cache memory;
cache configuration;
ISA retargetable environment;
62.
Enabling optimisation in the design of complex computer based systems
机译:
在复杂的基于计算机的系统设计中实现优化
作者:
Leaney
;
J.
;
Denford
;
M.
;
ONeill
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
software architecture;
object-oriented methods;
optimisation;
optimization;
complex computer based systems;
systems design;
architectural modelling;
visual design guidance system;
63.
Induction in time-varying domains: motivation, origins, and encouragements
机译:
随时间变化的领域的归纳:动机,起源和鼓励
作者:
Kubat
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
knowledge acquisition;
learning (artificial intelligence);
embedded systems;
automated knowledge acquisition;
machine-learning technique;
embedded systems;
time-varying domain induction;
64.
Domain independent generative modeling
机译:
领域无关的生成建模
作者:
Kusy
;
B.
;
Ledeczi
;
A.
;
Maroti
;
M.
;
Volgyesi
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
Unified Modeling Language;
formal specification;
software prototyping;
program compilers;
programming environments;
model integrated computing;
domain-specific modeling language;
computer based system;
metamodel composition;
image processing application;
generic modeling environment;
65.
Features with fuzzy probability
机译:
具有模糊概率的特征
作者:
Pieczyriski
;
A.
;
Robak
;
S.
;
Walaszek-Babiszewska
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
expert systems;
fuzzy logic;
probability;
decision trees;
knowledge representation;
fuzzy reasoning;
marketing data processing;
mobile handsets;
fuzzy set theory;
formal specification;
expert system description;
feature diagram tree;
weighted variant feature;
software family context;
fuzzy logic;
fuzzy probability;
market conditions;
cross-tree constraints;
constraint based reasoning;
mobile phone tariff;
decision tree;
66.
Formal specification of shared variables using CSP
机译:
使用CSP的共享变量的正式规范
作者:
Scuglik
;
F.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal specification;
communicating sequential processes;
concurrency theory;
formal specification;
communicating sequential processes;
CSP algebra;
concurrent processes;
shared variables;
67.
Migration of mobile agents in ad-hoc, wireless networks
机译:
在临时无线网络中迁移移动代理
作者:
Migas
;
N.
;
Buchanan
;
W.J.
;
McArtney
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
mobile agents;
ad hoc networks;
mobile computing;
routing protocols;
information filtering;
database management systems;
wireless LAN;
mobile agent migration;
ad-hoc wireless networks;
MARIAN;
static agents;
automatic network reconfiguration;
wireless remote database;
data filtering;
68.
Model based self adaptive behavior language for large scale real time embedded systems
机译:
大规模实时嵌入式系统基于模型的自适应行为语言
作者:
Shetty
;
S.
;
Neema
;
S.
;
Bapty
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
self-adjusting systems;
embedded systems;
fault diagnosis;
visual languages;
specification languages;
large-scale systems;
Fermi lab;
high energy physics experiments;
embedded processors;
event filtering;
BTeV trigger system;
model integrated computing;
domain specific graphical language;
generic modeling environment tool;
meta-programmable modeling environment;
model based self adaptive behavior language;
large scale real time embedded systems;
69.
Network virtual laboratory for external devices programming
机译:
网络虚拟实验室,用于外部设备编程
作者:
Klempous
;
R.
;
Nikodem
;
J.
;
Walkowiak
;
T.
;
Rozenblit
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
computer aided instruction;
Internet;
distance learning;
virtual machines;
programming environments;
virtual reality;
laboratories;
educational courses;
teaching;
C++ language;
microcomputers;
object-oriented programming;
Internet;
advanced learning content;
network environment;
programming environment;
virtual device;
network virtual laboratory;
external devices programming;
70.
The networked photo-enforcement and traffic monitoring system Unicam
机译:
网络照片执法和交通监控系统Unicam
作者:
Fucik
;
O.
;
Zemcik
;
P.
;
Tupec
;
P.
;
Crha
;
L.
;
Herout
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
computer vision;
object detection;
video cameras;
video signal processing;
traffic engineering computing;
monitoring;
road traffic;
road vehicles;
tracking;
real-time systems;
Unicam traffic monitoring system;
machine vision equipment;
automated video image vehicle detection devices;
real time video image capturing;
digital signal processing;
artificial intelligence algorithms;
traffic data collection;
video recording;
license plate recognition;
transportation engineers;
stolen car searching;
toll-tag data collection;
camera sensors;
hardware design units;
networked photo-enforcement;
71.
Verification of emergent behaviors in swarm-based systems
机译:
验证基于群体的系统中的紧急行为
作者:
Rouff
;
C.
;
Vanderbilt
;
A.
;
Hinchey
;
M.
;
Truszkowski
;
W.
;
Rash
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the》
|
2004年
关键词:
formal verification;
aerospace computing;
nanotechnology;
formal specification;
emergent phenomena;
multi-agent systems;
communicating sequential processes;
calculus of communicating systems;
swarm emergent properties;
formal verification;
Autonomous Nano-Technology Swarm mission;
intelligent swarm technology;
NASA missions;
意见反馈
回到顶部
回到首页