检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

83 篇 会议
14 篇 期刊文献
10 册 图书

馆藏范围

107 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

86 篇 工学
- 85 篇 计算机科学与技术...
- 38 篇 软件工程
- 9 篇 电气工程
- 7 篇 信息与通信工程
- 1 篇 控制科学与工程
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
12 篇 理学
- 10 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
8 篇 管理学
- 6 篇 图书情报与档案管...
- 4 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

9 篇 object oriented ...
7 篇 model checking
7 篇 software enginee...
6 篇 computer communi...
6 篇 programming tech...
6 篇 programming lang...
6 篇 distributed comp...
5 篇 semantics
5 篇 logics and meani...
4 篇 formal specifica...
3 篇 software enginee...
3 篇 operating system...
3 篇 actors
3 篇 mathematical log...
2 篇 analysis
2 篇 maude
2 篇 electronic data ...
2 篇 common object re...
2 篇 refinement
2 篇 calculations

机构

2 篇 univ leicester d...
2 篇 univ kaiserslaut...
2 篇 univ turin dipar...
2 篇 university of bo...
2 篇 univ illinois de...
1 篇 pontifícia unive...
1 篇 inria
1 篇 technical univer...
1 篇 sri internationa...
1 篇 france telecom r...
1 篇 univ pisa dept c...
1 篇 distributed syst...
1 篇 katholieke univ ...
1 篇 395 dreese labor...
1 篇 peking univ sch ...
1 篇 univ twente form...
1 篇 univ koblenz dep...
1 篇 dipartimento di ...
1 篇 university of tw...
1 篇 aalborg univ dep...

作者

4 篇 johnsen einar br...
4 篇 rensink arend
3 篇 jacobs bart
3 篇 talcott carolyn
3 篇 poetzsch-heffter...
3 篇 piessens frank
2 篇 junttila tommi
2 篇 perdita stevens
2 篇 steffen martin
2 篇 stefani jean-ber...
2 篇 meseguer j
2 篇 coppo mario
2 篇 uwe nestmann
2 篇 elie najm
2 篇 smans jan
2 篇 schaefer jan
2 篇 owe olaf
2 篇 ribeiro leila
2 篇 giachino elena
2 篇 dezani-ciancagli...

语言

105 篇 英文
2 篇 中文

检索条件"任意字段=9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems"

共 107 条记录，以下是71-80 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

4th ifip WG 6.1 international conference on distributed Applications and Interoperable systems, DAIS 2003 held as a joint event in federation with 6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

4th IFIP WG 6.1 International Conference on Distributed Appl...

引用

4th ifip WG 6.1 international conference on distributed Applications and Interoperable systems, DAIS 2003 held as a joint event in federation with 6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

ISBN: (纸本)3540205292

the proceedings contain 27 papers. the special focus in this conference is on distributed applications and interoperable systems. the topics include: Towards a framework for self-adaptive component-based applications;a scheme for the introduction of 3rd party, application-specific adaptation features in mobile service provision;towards a composition framework for non-orthogonal non-functional properties;meta-programming middleware for distributed object computing;middleware support for resource-constrained software deployment;rational server selection for mobile agents;facilitating the portability of user applications in grid environments;negotiation as a generic component coordination primitive;a flexible framework for making components transactional;a security architectural approach for risk assessment using multi-agent systems engineering;middleware support for non-repudiable transactional information sharing between enterprises;adaptable access control policies for medical information systems;a flexible mechanism for optimized component attribute caching;a variable cache consistency protocol for mobile systems using time locks;building applications which make progress in an inconsistent world;hand-over video cache policy for mobile users;planning for network-aware paths;integrating the unreliable multicast Inter-ORB protocol in mjaco;a system of relay and translation gateways for communication among heterogeneous agents in ad hoc wireless environments;scalable location management for context-aware systems and a context ontology language to enable contextual interoperability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A rewriting based model for probabilistic distributed object systems

引用

6th international conference on formal methods for open object-based distributed systems

作者： Kumar, N Sen, K Meseguer, J Agha, G Univ Illinois Dept Comp Sci Urbana IL 61801 USA

ISBN: (纸本)3540204911

Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. the nondeterminism provides an abstraction over scheduling, network delays, failures and randomization. However a probabilistic model can capture these sources of nondeterminism more precisely and enable statistical analysis, simulations and reasoning. We have developed a general semantic framework for probabilistic systems using probabilistic rewriting. Our framework also allows nondeterminism in the system. In this paper, we briefly describe the framework and its application to concurrent object based systems such as actors. We also identify a sufficiently expressive fragment of the general framework and describe its implementation. the concepts are illustrated by a simple client-server example.

关键词： rewrite theory probability actors Maude nondeterminism

来源：评论

学校读者我要写书评

暂无评论

Temporal logic based static analysis for non-uniform behaviours

引用

6th international conference on formal methods for open object-based distributed systems

作者： Colin, M thirioux, X Pantel, M IRIT ENSEEIHT F-31071 Toulouse France

ISBN: (纸本)3540204911

the main purpose of our work is the typing of concurrent, distributed and mobile programs based on the actor programming model, that is non-uniform behaviour concurrent objects communicating by asynchronous message passing. One of the key difficulties is to give a precise definition of "message not understood" errors in this context. In this paper, we investigate temporal logic and model-checking based technologies for an asynchronous message passing process calculi. We focus on non uniform input interfaces for processes, and then define a temporal logic tailored to their description and analyses. this logic deals with infinite-state systems, as mailboxes of actors are unbounded multisets of messages, but yet happens to be decidable. We use our logic to specify possible communication errors in actor-based programs in order to give precise and sound definition of type disciplines.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Verification of distributed object-based systems

引用

6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

作者： Dotti, Fernando L. Foss, Luciana Ribeiro, Leila dos Santos, Osmar M. Instituto de Informática Universidade Federal do Rio Grande do Sul Porto Alegre Brazil Pontifícia Universidade Católica do Rio Grande do Sul Porto Alegre Brazil

ISBN: (纸本)3540204911

distributed systems for open environments, like the Internet, are becoming more frequent and important. However, it is difficult to assure that such systems have the required functional properties. In this paper we use a visual formal specification language, called object-based Graph Grammars (OBGG), to specify asynchronous distributed systems. After discussing the main concepts of OBGG, we propose an approach for the verification of OBGG specifications using model checking. this approach consists on the translation of OBGG specifications into PROMELA (PROcess/PROtocol MEta LAnguage), which is the input language of the SPIN model checker. the approach we use for verification allows one to write properties based on the OBGG specification instead of on the generated PROMELA model. © ifip international Federation for Information Processing 2003.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Towards object-oriented graphs and grammars

引用

6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

作者： Lüdtke Ferreira, Ana Paula Ribeiro, Leila Centro de Ciências Exatas e Tecnológicas Universidade do Vale do Rio dos Sinos Brazil Instituto de Informática Universidade Federal do Rio Grande do Sul Brazil

ISBN: (纸本)3540204911

this work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for object-oriented system modeling is presented, incorporating both the static aspects of system modeling and the dynamic aspects of computation of objectoriented programs. © ifip international Federation for Information Processing 2003.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Context-based addressing: the concept and an implementation for large-scale mobile agent systems using publish-subscribe event notification

Context-based addressing: The concept and an implementation ...

引用

作者： Loke, Seng Wai Padovitz, Amir Zaslavsky, Arkady School of Computer Science and Software Engineering Monash University Caulfield EastVIC3145 Australia

ISBN: (纸本)3540205292

We introduce the notion of context-based addressing, i.e. the ability to refer to and send messages to a collection of agents based on their current context, without knowing the precise identities of the agents. We describe a simple implementation of context-based addressing for mobile agents using Elvin, a publish-subscribe event notification system, as a proof-of-concept, and to investigate the feasibility of the event-based paradigm for implementing context- based addressing for mobile agents. © ifip international Federation for Information Processing 2003.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

Integrating the unreliable multicast inter-ORB protocol in MJaco

Integrating the unreliable multicast inter-ORB protocol in M...

引用

作者： Bessani, Alysson Neves Lung, Lau Cheuk Fraga, Joni da Silva Calsavara, Alcides Laboratório de Controle e Microinformática – DAS Universidade Federal de Santa Catarina FlorianópolisSC Brazil Pontifical Catholic University of Paraná CuritibaParaná Brazil

ISBN: (纸本)3540205292

this paper presents our experience in implementing OMG Unreliable Multicast Inter-ORB Protocol specifications into an ORB. An integration model is proposed to allow the coexistence of two different protocol stacks (IIOP/TCP/IP and MIOP/UDP/IP multicast) making possible a large spectrum of middleware support for distributed objects communication. that integration model is discussed in this paper, giving evidence of the compatibility of our approach with the CORBA specifications. In order to evaluate that integration, different tests were made considering interoperability, performance and scalability aspects. © ifip international Federation for Information Processing 2003.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

A syntax-directed hoare logic for object-oriented programming concepts

引用

6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

作者： Pierik, Cees de Boer, Frank S. Institute of Information and Computing Sciences Utrecht University Netherlands CWI Amsterdam Netherlands

ISBN: (纸本)3540204911

this paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculus for assignments and object-creation, as well as Hoare rules for reasoning about (mutually recursive) method invocations with dynamic binding. Our approach enables reasoning at an abstraction level that coincides with the general abstraction level of object-oriented languages. © ifip international Federation for Information Processing 2003.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards a framework for self-adaptive component-based applications

Towards a framework for self-adaptive component-based applic...

引用

作者： David, Pierre-Charles Ledoux, thomas OBASCO Group EMN/INRIA Ècole des Mines de Nantes Dépt. Informatique 4 rue Alfred Kastler–BP 20722 Nantes Cedex 3F-44307 France

ISBN: (纸本)3540205292

Nowadays, applications must work in highly dynamic environments, where resources availability, among other factors, can evolve at runtime. To deal with this situation, applications must be self-adaptive, that is adapt themselves to their environment and its evolutions. Our goal is to enable systematic development of self-adaptive componentbased applications using the Separation of Concerns principle: we consider adaptation to a specific execution context and its evolutions as a concern which should be treated separately from the rest of an application. In this paper, we first present the general approach we propose and the corresponding development framework and tools we are developing to support it. then, in order to validate this approach, we use it on a small component-based application to show how it can be made self-adaptive. © ifip international Federation for Information Processing 2003.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Design and verification of distributed multi-media systems

引用

6th ifip WG 6.1 international conference on formal methods for open object-based distributed systems, FMOODS 2003

作者： Akehurst, David Derrick, John Waters, A. Gill University of Kent Canterbury United Kingdom

ISBN: (纸本)3540204911

Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distributed processing nodes is a non-trivial task. the problem is exacerbated by the addition of continuous system functions that are time dependent, such as communication between components in the form of multimedia streams of video and audio data. Quality-of-Service (QoS) specifications define constraints on such communications and describe the required patterns of data transfer. By making use of these specifications as part of the performance analysis process it is possible to add significant confidence to predictions about the correct (required) operation of a distributed system. this paper presents a method for designing distributed multimedia systems, including the specification of QoS, using the ODP framework and UML and describes a technique for verifying the QoS specification against the designed functional behaviour of the system using Timed Automata. © ifip international Federation for Information Processing 2003.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共11页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：