掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Object-Oriented Real-Time Dependable Systems
International Workshop on Object-Oriented Real-Time Dependable Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
机译:
实时系统的基于角色的访问控制策略验证框架
作者:
Basit Shafiq
;
Ammar Masood
;
James Joshi
;
Arif Ghafoor
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
2.
An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments
机译:
多域环境中的时间约束安全互操作的RBAC框架
作者:
Smithi Piromruen
;
James B. D. Joshi
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
3.
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
机译:
简化内核调度员开发的框架:设计和性能评估
作者:
Gilles Muller
;
Julia L. Lawall
;
Herve Duchesne
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
4.
A graph-based model for component-based software development
机译:
基于图形的基于组件的软件开发模型
作者:
Sedigh-Ali S.
;
Ghafoor A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
graph theory;
object-oriented programming;
software metrics;
software quality;
component-based software development;
graph-based model;
software metrics;
software quality;
5.
Experiments with WCET-oriented programming and the single-path architecture
机译:
用WCET为导向的编程和单路架构的实验
作者:
Puschner P.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
object-oriented programming;
real-time systems;
software architecture;
WCET-oriented programming;
real-time task execution;
single-path architecture;
software-hardware architecture;
temporal predictability;
worst-case execution time;
6.
Autonomous agents and anticipative systems
机译:
自主代理和预期系统
作者:
Ramos M.A.
;
Ramos F.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
multi-agent systems;
anticipative systems;
anticipatory systems;
artificial intelligence;
autonomous agents;
classifier systems;
complex dynamic adaptive system;
multiagent system;
real time agents;
real time simulation;
virtual community;
Anticipatory Systems.;
Cla;
7.
Distributed scalable location data management system based on the GALIS architecture
机译:
基于Galis架构的分布式可扩展位置数据管理系统
作者:
Yunmook Nah
;
Joonwoo Lee
;
Woon Joo Lee
;
Ho Lee
;
Moon Hae Kim
;
Ki-Joon Han
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
middleware;
query processing;
GALIS architecture;
LBS system engineering;
TMO programming;
cluster-based distributed computing system architecture;
data management system;
distributed query processing;
location reports;
location sensing reports;
location-related q;
8.
Dynamic reconfiguration of component-based real-time software
机译:
基于组件的实时软件的动态重新配置
作者:
Rasche A.
;
Poize A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
configuration management;
embedded systems;
microcontrollers;
middleware;
network operating systems;
Adapt.NET;
Web-based remote laboratory;
adaptation strategies;
desktop environments;
distributed control lab;
dynamic monitoring;
dynamic reconfiguration;
embedded r;
9.
Deterministic Scheduling for Multithreaded Replicas
机译:
多线程复制品的确定性调度
作者:
Wenbing Zhao
;
L. E. Moser
;
P. M. Melliar-Smith
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
10.
An RBAC framework for time constrained secure interoperation in multi-domain environments
机译:
多域环境中的时间约束安全互操作的RBAC框架
作者:
Piromruen S.
;
Joshi J.B.D.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
authorisation;
open systems;
GTRBAC framework;
GTRBAC policy;
RBAC framework;
authorisation;
inter-domain access requirement specification;
multi-domain environments;
open systems;
short term time-based sharing policies;
temporal constraints;
temporal role based ac;
11.
Virtual Networks in an Integrated Time-Triggered Architecture
机译:
虚拟网络中的集成时间触发架构
作者:
R. Obermaisser
;
P. Peti
;
H. Kopetz
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
12.
Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming
机译:
基于TMO编程实现的基于数据的流媒体和播放音乐集合
作者:
K. H. (Kane) Kim
;
Emmanuel Henrich
;
Chansik Im
;
Moon-Cheol Kim
;
Sung-Jin Kim
;
Yuqing Li
;
Sheng Liu
;
Seung-Mok Yoo
;
Liang-Chen Zheng
;
Qian Zhou
;
Doo-Hyun Kim
;
Moon-Hae Kim
;
Seok-Phil Lee
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
TCoDA;
TMO;
Real-time;
Multimedia;
Digital;
Music;
Ensemble;
Streaming;
Synchronous;
13.
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
机译:
SSP抽象类加载器的核心功能的变革概述
作者:
Victor L. Winter
;
Jason Beranek
;
Azamatbek Mametjanov
;
Fares Fraij
;
Steve Roach
;
Greg Wickstrom
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
14.
A framework for preparing experimental evaluation of rerouting mechanisms
机译:
制备重新排出机制实验评估的框架
作者:
Correia Rd.B.
;
Rust Carmo L.F.
;
Pirmez L.
;
Bacellar L.F.H.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
design of experiments;
optical fibre networks;
quality of service;
telecommunication network routing;
Brazilian Research Network;
DOE;
GIGA project;
MatLab models;
QoS schemes;
design of experiments analysis;
fiber-optic gigabit backbone;
network infrastructure;
pro;
15.
A trustworthy Web services framework for business processes integration
机译:
一个值得信赖的Web服务框架,用于业务流程集成
作者:
Yang S.J.H.
;
Lan B.C.W.
;
Jen-Yao Chung
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
commerce;
business process model;
business processes integration;
service-oriented enterprise;
trustworthy Web services;
Business Process Integration;
Service Oriented Enterprises;
Trustworthy WebServices;
16.
Functional and Non-Functional Properties in a Family of Embedded Operating Systems
机译:
嵌入式操作系统系列中的功能和非功能性质
作者:
Daniel Lohmann
;
Wolfgang Schroder-Preikschat
;
Olaf Spinczyk
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
17.
Agent-Oriented Modelling and Specification of Web Services
机译:
以代理为导向的Web服务的建模和规范
作者:
Hong Zhu
;
Lijun Shan
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
18.
Challenges for Critical Embedded Systems
机译:
关键嵌入式系统的挑战
作者:
Helen Gill
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
19.
Virtual networks in an integrated time-triggered architecture
机译:
虚拟网络中的集成时间触发架构
作者:
Obermaisser R.
;
Peti P.
;
Kopetz H.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
computer network management;
integrated software;
real-time systems;
safety-critical software;
software architecture;
virtual private networks;
application subsystems;
communication protocol;
communication services;
complexity management;
encapsulated communicatio;
20.
Autonomous Agents and Anticipative Systems
机译:
自主代理和预期系统
作者:
Marco A. Ramos
;
Felix Ramos
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Real time agents;
Simulation;
Classifier Systems;
Anticipatory Systems;
21.
Reliable Monitoring of Network-related Performance Parameters in Wireless Environments
机译:
可靠地监控无线环境中的网络相关性能参数
作者:
Domenico Cotroneo
;
Armando Migliaccio
;
Stefano Russo
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
22.
Challenges for critical embedded systems
机译:
关键嵌入式系统的挑战
作者:
Gill H.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
distributed processing;
embedded systems;
information technology;
safety-critical software;
critical embedded systems;
information technology;
real-time systems;
safety-critical software;
23.
An adaptable security framework for service-based systems
机译:
基于服务的系统的适应性安全框架
作者:
Yau S.S.
;
Yisheng Yao
;
Zhaoji Chen
;
Luping Zhu
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
large-scale systems;
ontologies (artificial intelligence);
security of data;
software agents;
software tools;
specification languages;
adaptable security framework;
core ontology;
dynamic security policies;
large-scale distributed systems;
large-scale service-base;
24.
An ontology-based approach for determining the dependability of service-oriented architectures
机译:
基于本体的方法,用于确定面向服务的架构的可靠性
作者:
Looker N.
;
Gwynne B.
;
Jie Xu
;
Munro M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
automatic testing;
ontologies (artificial intelligence);
program testing;
real-time systems;
software architecture;
WS-FIT method;
automatic detection;
automatic test generation;
failure detection;
fault injection;
fault model;
ontology;
real-world system;
service-or;
25.
Issues in providing quality of service in a joint battlespace infosphere
机译:
在联合战斗空间InfoSphere提供服务质量的问题
作者:
Loyall J.
;
Lawson J.
;
Duzan G.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
command and control systems;
decision making;
decision support systems;
middleware;
quality of service;
decision making;
decision support systems;
information system architecture;
joint battlespace infosphere;
middleware;
military command and control systems;
milit;
26.
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
机译:
基于规范的Web服务和面向服务的操作系统的验证和验证
作者:
Wei-Tek Tsai
;
Yinong Chen
;
Ray Paul
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Web services;
Service composition;
Collaborative testing;
Group testing;
Verification;
27.
A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms
机译:
制备重新排出机制实验评估的框架
作者:
Reinaldo de B. Correia
;
Luiz F. Rust Carmo
;
Luci Pirmez
;
Luiz F. H. Bacellar
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
28.
JavaMaC and runtime monitoring for geoinformatics grid services
机译:
GeoinFormatics网格服务的JavaMac和运行时监控
作者:
Gates A.Q.
;
Roach S.
;
Gallegos I.
;
Ochoa O.
;
Sokolsky O.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
geophysics computing;
grid computing;
scientific information systems;
GEON;
Geoscience Network;
JavaMaC;
Kepler workflow system;
geoinformatics grid services;
geoinformatics infrastructure;
prospec specification tool;
runtime monitoring;
29.
Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object
机译:
实时面向对象嵌入式系统的HW / SW Co设计的设计探索:调度器对象
作者:
Elias Teodoro Silva Jr.
;
Marco A. Wehrmeister
;
Leandro Buss Becker
;
Flavio Rech Wagner
;
Carlos Eduardo Pereira
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
30.
Object-based commutativity analysis for real-time applications
机译:
基于对象的实时应用程序的共奉性分析
作者:
Eberhard J.
;
Tripathi A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
concurrency control;
distributed processing;
formal specification;
object-oriented methods;
real-time systems;
semantic networks;
theorem proving;
PVS theorem prover;
formal analysis;
group commutativity;
object semantics;
object-based commutativity analysis;
real-t;
31.
Functional and non-functional properties in a family of embedded operating systems
机译:
嵌入式操作系统系列中的功能和非功能性质
作者:
Lohmann D.
;
Schroder-Preikschat W.
;
Spinczyk O.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
embedded systems;
operating systems (computers);
software reusability;
aspect-oriented programming;
embedded operating systems;
reusable system software solutions;
software design;
standard software packets;
32.
Enhancing DNS security using the SSL trust infrastructure
机译:
使用SSL信任基础架构增强DNS安全性
作者:
Fetzer C.
;
Pfeifer G.
;
Jim T.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
security of data;
DNS security;
IP addresses;
Internet;
SSL trust infrastructure;
data security;
denial of service attacks;
domain name system;
online updates;
proxy DNS server;
33.
A real-time distributed scheduling service for middleware systems
机译:
中间件系统的实时分布式调度服务
作者:
Jiangyin Zhang
;
DiPippo L.
;
Fay-Wolfe V.
;
Bryan K.
;
Murphy M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
distributed decision making;
distributed object management;
middleware;
real-time systems;
scheduling;
distributable thread;
distributed decision-making;
dynamic distributed environment;
middleware;
real-time CORBA;
real-time computing;
real-time distributed schedu;
34.
Error Recovery for a Boiler System with OTS PID Controller
机译:
具有OTS PID控制器的锅炉系统的错误恢复
作者:
Tom Anderson
;
Mei Feng
;
Steve Riddle
;
Alexander Romanovsky
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
35.
Reliable monitoring of network-related performance parameters in wireless environments
机译:
可靠地监控无线环境中的网络相关性能参数
作者:
Cotroneo D.
;
Migliaccio A.
;
Russo S.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Bluetooth;
clocks;
delay estimation;
performance evaluation;
synchronisation;
wireless LAN;
Bluetooth piconet;
Wi-Fi LAN;
clock adjustment;
clock offset;
clock skew;
clock synchronism attributes;
clock synchronization;
delay estimation;
delay measurement;
network monit;
36.
Specification, analysis and implementation of architectural patterns for dependable software systems
机译:
可靠软件系统的规范,分析和实现架构模式
作者:
Yau S.S.
;
Mukhopadhyay S.
;
Bharadwaj R.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
distributed processing;
formal specification;
formal verification;
middleware;
object-oriented programming;
software agents;
specification languages;
agent composition;
agent interfaces;
agent specification language;
agent-based middleware;
architectural patterns;
b;
37.
Progressive ranking and composition of Web services using covering arrays
机译:
使用覆盖阵列的渐进排名和Web服务的组成
作者:
Colbourn C.J.
;
Yinong Chen
;
Wei-Tek Tsai
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
greedy algorithms;
open systems;
software architecture;
Web services;
covering arrays;
generic greedy algorithm;
interoperability;
security;
service-oriented architecture;
software development;
38.
Progressive Ranking and Composition of Web Services Using Covering Arrays
机译:
使用覆盖阵列的渐进排名和Web服务的组成
作者:
Charles J. Colbourn
;
Yinong Chen
;
Wei-Tek Tsai
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
39.
On constructing overlay networks to support distributed real-time virtual environment applications
机译:
构建覆盖网络以支持分布式实时虚拟环境应用程序
作者:
Kalogeraki V.
;
Chen F.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
computer networks;
virtual reality;
communication delays;
distributed real-time virtual environment;
message overhead;
message propagations;
multiple hops;
network traffic;
overlay network construction;
processing delays;
trade-off processing overhead;
40.
DoD Towards Software Services
机译:
国防部到软件服务
作者:
Raymond A. Paul
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
41.
DoD towards software services
机译:
国防部到软件服务
作者:
Paul R.A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
business communication;
command and control systems;
grid computing;
information services;
Internet;
business communication;
global information grid enterprise services;
grid computing;
information services;
joint battle management command and control;
ne;
42.
Distributed Scalable Location Data Management System Based on the GALIS Architecture
机译:
基于Galis架构的分布式可扩展位置数据管理系统
作者:
Yunmook Nah
;
Joonwoo Lee
;
Woon Joo Lee
;
Ho Lee
;
Moon Hae Kim
;
Ki-Joon Han
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
43.
Delay analysis for statistical real-time channels in mobile ad hoc networks
机译:
移动临时网络中统计实时通道的延迟分析
作者:
Min-Gu Lee
;
Sunggu Lee
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
IEEE standards;
ad hoc networks;
delays;
mobile computing;
protocols;
real-time systems;
telecommunication channels;
DCF mode;
IEEE 802.11 protocol;
MANET;
delay analysis;
mobile ad-hoc networks;
network delay;
real-time communication;
statistical real-time channels;
t;
44.
An Adaptable Security Framework for Service-based Systems
机译:
基于服务的系统的适应性安全框架
作者:
Stephen S. Yau
;
Yisheng Yao
;
Zhaoji Chen
;
Luping Zhu
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Service-based systems;
Security framework;
Adaptability;
Situation-awareness;
Security policy;
Security agent;
45.
A Trustworthy Web Services Framework for Business Processes Integration
机译:
一个值得信赖的Web服务框架,用于业务流程集成
作者:
Stephen J. H. Yang
;
Blue C. W. Lan
;
Jen-Yao Chung
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Business Process Integration;
Service Oriented Enterprises;
Trustworthy Web Services;
46.
Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects
机译:
用于操纵分布式物体的容错事务代理的设计与实现
作者:
Youhei Tanaka
;
Tomoya Enokido
;
Makoto Takizawa
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
47.
Real-Time Data Fusion Technique for Validation of an Autonomous System
机译:
自治系统验证的实时数据融合技术
作者:
Bojan Cukic
;
Martin Mladenovski
;
Dejan Desovski
;
Sampath Yerramalla
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
48.
Distributed computing based streaming and play of music ensemble realized through TMO programming
机译:
基于TMO编程实现的基于数据的流媒体和播放音乐集合
作者:
Kim K.H.
;
Henrich E.
;
Chansik Im
;
Moon-Cheol Kim
;
Sung-Jin Kim
;
Yuqing Li
;
Sheng Liu
;
Seung-Mok Yoo
;
Liang-Chen Zheng
;
Qian Zhou
;
Doo-Hyun Kim
;
Moon-Hae Kim
;
Seok-Phil Lee
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
acoustic streaming;
electronic music;
local area networks;
microcomputers;
middleware;
multimedia computing;
Ethernet network;
QoS;
TCoDA;
TMO programming;
audio files;
digital music ensemble;
distributed computing;
instrument player;
middleware;
musical audio data;
mus;
49.
Enhancing DNS Security using the SSL Trust Infrastructure
机译:
使用SSL信任基础架构增强DNS安全性
作者:
Christof Fetzer
;
Gert Pfeifer
;
Trevor Jim
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
50.
Error recovery for a boiler system with OTS PID controller
机译:
具有OTS PID控制器的锅炉系统的错误恢复
作者:
Anderson T.
;
Mei Feng
;
Riddle S.
;
Romanovsky A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
boilers;
error detection;
system recovery;
three-term control;
OTS PID controller;
Simulink model;
error detection;
error recovery;
off-the-shelf;
proportional;
protective wrapper;
steam boiler system;
integral and derivative controller;
51.
Experiments with WCET-Oriented Programming and the Single-Path Architecture
机译:
用WCET为导向的编程和单路架构的实验
作者:
Peter Puschner
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
52.
An FPGA-based key-store for improving the dependability of security services
机译:
基于FPGA的密钥商店,用于提高安全服务的可靠性
作者:
Cilardo A.
;
Mazzeo A.
;
Romano L.
;
Saggese G.P.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
cryptography;
field programmable gate arrays;
COTS programmable hardware board;
Celoxica RCWOO;
RSA keys;
Xilinx Virtex-E 2000 FPGA;
cryptographic keys;
device driver;
hardware device architecture;
hardware implemented key-store;
security services;
sensitive inform;
53.
Design and implementation of fault-tolerant transactional agents for manipulating distributed objects
机译:
用于操纵分布式物体的容错事务代理的设计与实现
作者:
Tanaka Y.
;
Enokido T.
;
Takizawa M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
distributed object management;
fault tolerant computing;
mobile agents;
client-server model;
database servers;
distributed objects manipulation;
fault-tolerant transactional agents;
manipulation agent;
mobile agent;
routing subagent;
transactional agent model;
54.
A Real-Time Distributed Scheduling Service For Middleware Systems
机译:
中间件系统的实时分布式调度服务
作者:
Jiangyin Zhang
;
Lisa DiPippo
;
Victor Fay-Wolfe
;
Kevin Bryan
;
Matthew Murphy
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
55.
Development of the warfighting architecture requirements (WAR) tool
机译:
制定战争建筑要求(战争)工具
作者:
Hurlburt G.F.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
military computing;
object-oriented methods;
DODAF;
DOTMLPF;
DoD task list;
JCIDS element;
NCES;
Web-based WAR tool;
distributed data source;
net centric enterprise service;
object oriented multiple inheritance structure;
semantic-Web service element;
thin;
56.
Improving the real-time behaviour of a multithreaded Java microcontroller by control theory and model based latency prediction
机译:
通过控制理论提高多线程Java微控制器的实时行为和基于模型的延迟预测
作者:
Brinkschulte U.
;
Pacher M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Java;
closed loop systems;
microcontrollers;
multi-threading;
processor scheduling;
real-time systems;
stability;
three-term control;
IPC rate;
Komodo microcontroller;
PID controller;
closed feedback loop;
closed loop systems;
control theory;
guaranteed percentage sch;
57.
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures
机译:
基于本体的方法,用于确定面向服务的架构的可靠性
作者:
Nik Looker
;
Binka Gwynne
;
Jie Xu
;
Malcolm Munro
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
58.
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques
机译:
基于机器学习的软件缺陷预测技术的实证评估
作者:
Venkata U. B. Challagulla
;
Farokh B. Bastani
;
I-Ling Yen
;
Raymond A. Paul
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
59.
A role-based access control policy verification framework for real-time systems
机译:
实时系统的基于角色的访问控制策略验证框架
作者:
Shafiq B.
;
Masood A.
;
Joshi J.
;
Ghafoor A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Petri nets;
authorisation;
formal specification;
formal verification;
real-time systems;
Petri nets;
RBAC model;
access control specification;
authorisation;
event-based semantics;
event-driven role based access control model;
formal specification;
formal verificati;
60.
Concurrency control on distributed objects using role ordering (RO) scheduler
机译:
使用角色排序(RO)调度程序的分布式对象的并发控制
作者:
Enokido T.
;
Takizawa M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
authorisation;
concurrency control;
distributed object management;
protocols;
transaction processing;
RBAC model;
RO scheduler;
authorisation;
concurrency control algorithms;
distributed objects;
distributed processing;
information system security;
multiple conflict;
61.
Development Of The Warfighting Architecture Requirements (War) Tool
机译:
制定战争建筑要求(战争)工具
作者:
George F. Hurlburt
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
62.
A framework for simplifying the development of kernel schedulers: design and performance evaluation
机译:
简化内核调度员开发的框架:设计和性能评估
作者:
Muller G.
;
Duchesne H.
;
Lawall J.L.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
operating system kernels;
processor scheduling;
safety-critical software;
Bossa;
EDF scheduling;
critical safety properties;
high-level abstractions;
kernel schedulers;
performance evaluation;
scheduler development;
63.
Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler
机译:
使用角色排序(RO)调度程序的分布式对象的并发控制
作者:
Tomoya Enokido
;
Makoto Takizawa
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
64.
A multi-granularity energy profiling approach and a quantitative study of a Web browser
机译:
一种多粒度能量分析方法和对网络浏览器的定量研究
作者:
Chen-Ting Chuang
;
Chin-Fu Kuo
;
Tei-Wei Kuo
;
Ai-Chun Pang
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
hardware-software codesign;
object-oriented methods;
online front-ends;
Konqueror;
Web browser;
embedded system;
execution-path tracking;
hardware-software profiling;
multigranularity energy profiling;
object-oriented design;
65.
Towards a Flow Analysis for Embedded System C Programs
机译:
朝向嵌入式系统C程序的流程分析
作者:
Jan Gustafsson
;
Andreas Ermedahl
;
Bjorn Lisper
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
66.
A framework for middleware supporting real-time wide-area distributed computing
机译:
支持实时广域分布式计算的中间件的框架
作者:
Kim K.H.
;
Jenks S.
;
Liang-Chen Zheng
;
Smarr L.
;
Chien A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
middleware;
optical fibre networks;
real-time systems;
switched networks;
virtual private networks;
wide area networks;
OptIPuter project;
deterministic switching;
distributed computing;
easy-to-program interface;
legacy IP traffic;
message-triggered object;
middlew;
67.
On Constructing Overlay Networks to Support Distributed Real-Time Virtual Environment Applications
机译:
构建覆盖网络以支持分布式实时虚拟环境应用程序
作者:
Vana Kalogeraki
;
Fang Chen
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
68.
Evaluation of fault-tolerant distributed Web systems
机译:
容错分布式Web系统的评估
作者:
Hong Y.S.
;
No J.H.
;
In Han
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
Linux;
bank data processing;
fault tolerant computing;
software performance evaluation;
Apache Web server;
Linux Virtual Server;
LoadCube;
Web application server;
fault-tolerant distributed Web system;
information replication;
software performance evaluat;
69.
Evaluation of Fault-tolerant Distributed Web Systems
机译:
容错分布式Web系统的评估
作者:
Y. S. Hong
;
J. H. No
;
In Han
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Fault tolerance;
Web services;
Replication;
Clock synchronization;
Performance evaluation;
70.
Empirical assessment of machine learning based software defect prediction techniques
机译:
基于机器学习的软件缺陷预测技术的实证评估
作者:
Challagulla V.U.B.
;
Bastani F.B.
;
I-Ling Yen
;
Paul R.A.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
belief networks;
decision trees;
learning (artificial intelligence);
regression analysis;
safety-critical software;
software performance evaluation;
software quality;
Bayesian-belief networks;
artificial neural networks;
consistency-based subset evaluation;
decisi;
71.
Towards self-healing systems via dependable architecture and reflective middleware
机译:
通过可靠的架构和反射中间件向自我修复系统
作者:
Hong Mei
;
Gang Huang
;
Wei-Tek Tsai
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Java;
fault tolerant computing;
middleware;
software architecture;
PKUAS;
dependable computing model;
dependable systems;
reflective J2EE application server;
reflective middleware;
self-healing systems;
72.
Real-time data fusion technique for validation of an autonomous system
机译:
自治系统验证的实时数据融合技术
作者:
Bojan Cukic
;
Mladenovski M.
;
Desovski D.
;
Yerramalla S.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
inference mechanisms;
learning (artificial intelligence);
neural nets;
real-time systems;
sensor fusion;
uncertainty handling;
Dempster-Shafer theory;
Murphy rule;
data fusion;
online monitoring system;
online neural network;
probabilistic learning stability;
real-t;
73.
Towards a flow analysis for embedded system C programs
机译:
朝向嵌入式系统C程序的流程分析
作者:
Gustafsson J.
;
Ermedahl A.
;
Lisper B.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
C language;
data flow analysis;
program verification;
C programming language;
WCET analysis;
abstract interpretation;
embedded system;
flow analysis;
flow information;
mathematical models;
program analysis;
real-time systems;
worst-case execution time;
74.
Object-Based Commutativity Analysis for Real-Time Applications
机译:
基于对象的实时应用程序的共奉性分析
作者:
John Eberhard
;
Anand Tripathi
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
75.
Deterministic scheduling for multithreaded replicas
机译:
多线程复制品的确定性调度
作者:
Wenbing Zhao
;
Moserand L.E.
;
Melliar-Smith P.M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
concurrency control;
multi-threading;
processor scheduling;
software fault tolerance;
concurrency control;
deterministic scheduling algorithm;
distributed system reliability;
multithreaded replicas;
multithreading;
replicated multithreaded applications;
software f;
76.
A transformational overview of the core functionality of an abstract class loader for the SSP
机译:
SSP抽象类加载器的核心功能的变革概述
作者:
Winter V.L.
;
Beranek J.
;
Mametjanov A.
;
Fraij F.
;
Roach S.
;
Wickstrom G.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Java;
embedded systems;
formal verification;
program processors;
virtual machines;
JVM;
SSP;
class loading;
formal verification;
high consequence embedded applications;
strategic programming;
77.
Model-based integration of safety analysis and reliable software development
机译:
基于模型的安全分析集成和可靠的软件开发
作者:
de Miguel M.A.
;
Fernandez J.
;
Pauly B.
;
Person T.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
integrated software;
safety-critical software;
software architecture;
software development management;
software quality;
model driven development;
model-based integration;
reliable software development;
safety analysis;
safety critical systems;
software architectu;
78.
Towards a Dependable Component Technology for Embedded System Applications
机译:
朝向嵌入式系统应用的可靠组件技术
作者:
Mikael Akerholm
;
Anders Moller
;
Hans Hansson
;
Mikael Nolin
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
79.
Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction
机译:
通过控制理论提高多线程Java微控制器的实时行为和基于模型的延迟预测
作者:
Uwe Brinkschulte
;
Mathias Pacher
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
80.
Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks
机译:
移动临时网络中统计实时通道的延迟分析
作者:
Min-Gu Lee
;
Sunggu Lee
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
81.
Model-Based Integration of Safety Analysis and Reliable Software Development
机译:
基于模型的安全分析集成和可靠的软件开发
作者:
Miguel A. de Miguel
;
Bernard Pauly
;
Thierry Person
;
Javier Fernandez
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
82.
Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware
机译:
通过可靠的架构和反射中间件向自我修复系统
作者:
Hong MEI
;
Gang HUANG
;
Wei-Tek Tsai
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
83.
A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser
机译:
一种多粒度能量分析方法和对网络浏览器的定量研究
作者:
Chen-Ting Chuang
;
Chin-Fu Kuo
;
Tei-Wei Kuo
;
Ai-Chun Pang
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
84.
Issues in Providing Quality of Service in a Joint Battlespace Infosphere
机译:
在联合战斗空间InfoSphere提供服务质量的问题
作者:
Joseph Loyall
;
Jamie Lawson
;
Gary Duzan
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
85.
Operating systems for building robust embedded systems
机译:
用于构建强大的嵌入式系统的操作系统
作者:
Nakajima T.
;
Sugaya M.
;
Oikawa S.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Linux;
embedded systems;
resource allocation;
/spl mu/ITRON;
embedded Linux;
memory protection;
operating systems;
resource management;
robust embedded systems;
system failure;
86.
Design exploration in HW/SW co-design of real-time object-oriented embedded systems: the scheduler object
机译:
实时面向对象嵌入式系统的HW / SW Co设计的设计探索:调度器对象
作者:
Silva E.T. Jr.
;
Wehrmeister M.A.
;
Becker L.B.
;
Wagner F.R.
;
Pereira C.E.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Java;
embedded systems;
field programmable gate arrays;
hardware-software codesign;
multi-threading;
object-oriented programming;
processor scheduling;
FPGA logic cells;
Java processor;
energy consumption;
hardware modules;
hardware-software codesign;
memory footpri;
87.
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing
机译:
支持实时广域分布式计算的中间件的框架
作者:
K. H. (Kane) Kim
;
Stephen Jenks
;
Larry Smarr
;
Andrew Chien
;
Liang-Chen Zheng
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
88.
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems
机译:
可靠软件系统的规范,分析和实现架构模式
作者:
Stephen S. Yau
;
Supratik Mukhopadhyay
;
Ramesh Bharadwaj
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Architectural patterns;
Dependable software;
Formal analysis;
Specification languages;
Verification;
89.
Operating Systems for Building Robust Embedded Systems
机译:
用于构建强大的嵌入式系统的操作系统
作者:
Tatsuo Nakajima
;
Midori Sugaya
;
Shuichi Oikawa
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
90.
A Graph-Based Model for Component-Based Software Development
机译:
基于图形的基于组件的软件开发模型
作者:
Sahra Sedigh-Ali
;
Arif Ghafoor
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
91.
Agent-oriented modelling and specification of Web services
机译:
以代理为导向的Web服务的建模和规范
作者:
Hong Zhu
;
Lijun Shan
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
formal specification;
multi-agent systems;
specification languages;
CAMLE;
Internet;
SLABS;
Web services;
abstract specification;
agent-oriented modelling;
formal specification language;
graphic model;
multiagent conceptual model;
online auction WS;
semantic;
92.
Dynamic Reconfiguration of Component-based Real-time Software
机译:
基于组件的实时软件的动态重新配置
作者:
Andreas Rasche
;
Andreas Polze
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
93.
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services
机译:
GeoinFormatics网格服务的JavaMac和运行时监控
作者:
Ann Q. Gates
;
Steve Roach
;
Irbis Gallegos
;
Omar Ochoa
;
Oleg Sokolsky
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
94.
An FPGA-based Key-Store for Improving the Dependability of Security Services
机译:
基于FPGA的密钥商店,用于提高安全服务的可靠性
作者:
Alessandro Cilardo
;
Antonino Mazzeo
;
Luigi Romano
;
Giacinto Paolo Saggese
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
95.
Specification-based verification and validation of Web services and service-oriented operating systems
机译:
基于规范的Web服务和面向服务的操作系统的验证和验证
作者:
Wei-Tek Tsai
;
Yinong Chen
;
Paul R.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
Internet;
groupware;
network operating systems;
program testing;
program verification;
software architecture;
Web service;
collaborative testing;
group testing;
open standards;
service-oriented architecture;
service-oriented operating system;
specification-based ver;
96.
Towards a dependable component technology for embedded system applications
机译:
朝向嵌入式系统应用的可靠组件技术
作者:
Akerholm M.
;
Moller A.
;
Hansson H.
;
Nolin M.
会议名称:
《International Workshop on Object-Oriented Real-Time Dependable Systems》
|
2005年
关键词:
embedded systems;
object-oriented programming;
safety-critical software;
embedded system;
safety-critical automotive applications;
software components;
software engineering;
software reusability;
意见反馈
回到顶部
回到首页