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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是41-50 订阅

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

详细简洁

排序：

Modular preservation of safety properties by cookie-based DoS-protection wrappers

Modular preservation of safety properties by cookie-based Do...

引用

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

作者： Chadha, Rohit Gunter, Carl A. Meseguer, Jose Shankesi, Ravinder Viswanathan, Mahesh Univ Illinois Dept Comp Sci Urbana IL 61801 USA

ISBN: (纸本)9783540688624

Current research on verifying security properties of communication protocols has focused on proving integrity and confidentiality using models that include a strong Man-in-the-Middle (MitM) threat. By contrast, protection measures against Denial-of-Service (DoS) must assume a weaker model in which an adversary has only limited ability to interfere with network communications. In this paper we demonstrate a modular reasoning framework in which a protocol P that satisfies certain security properties can be assured to retain these properties after it is "wrapped" in a protocol W[P] that adds DoS protection. this modular wrapping is based on the "onion skin" model of actor reflection. In particular, we show how a common DoS protection mechanism based on cookies can be applied to a protocol while provably preserving safety properties (including confidentiality and integrity) that it was shown to have in a MitM threat model.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

Termination analysis of Java Bytecode

Termination analysis of Java Bytecode

引用

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

作者： Albert, Elvira Arenas, Puri Codish, Michael Genaim, Samir Puebla, German Zanardini, Damiano Univ Complutense Madrid DSIC E-28040 Madrid Spain Ben Gurion Univ Negev CS IL-84105 Beer Sheva Israel Tech Univ Madrid UPM CLIP Madrid Spain

ISBN: (纸本)9783540688624

Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing approaches, termination is performed on source programs. However, there are many situations, including mobile code, where only the compiled code is available. In this work we present an automatic termination analysis for sequential Java Bytecode programs. Such analysis presents all of the challenges of analyzing a low-level language as well as those introduced by object-oriented languages. Interestingly, given a bytecode program, we produce a constraint logic program, CLP, whose termination entails termination of the bytecode program. this allows applying the large body of work in termination of CLP programs to termination of Java bytecode. A prototype analyzer is described and initial experimentation is reported.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Guiding distributed systems synthesis with language-based security policies 10

Guiding distributed systems synthesis with language-based se...

引用

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

作者： Myers, Andrew Cornell University United States

ISBN: (纸本)3540688625

the distributed information systems we use every day are becoming more complex and interconnected. Can we trust them with our information? Currently there is no good way to check that distributed software uses information securely, even if we have the source code. Many mechanisms are available, but are error-prone: for example, encryption, various cryptographic protocols, access control, and replication. But it is hard to know when we are using these mechanisms in a way that correctly enforces application security requirements. © ifip international Federation for Information Processing 2008.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

ifip TC6 11th international conference on Personal Wireless Communications, PWC 2006

IFIP TC6 11th International Conference on Personal Wireless ...

引用

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

ISBN: (纸本)3540688625

the proceedings contain 17 papers. the special focus in this conference is on Mobile and wireless networking, QoS, Ad-Hoc (I), Security, Ad-Hoc (II), Wireless LAN, Cross-layer desing, Wireless sensor networks (I), Physical layer, Wireless sensor networks (II), and Mobile and wireless applications. the topics include: Mobility protocols for handoff management in heterogeneous networks;supporting group communication in WCDMA networks;scheme for improving transmission performance of realtime traffic in handover between HMIPv6 intermap domains;donorlist: a new distributed channel allocation scheme for cellular networks;QoS-Aware video communications over TDMA/TDD wireless networks;channel state-aware joint dynamic cell coordination scheme using adaptive modulation and variable reuse factor in OFDMA downlink;comparative analysis among different monitoring functions in a bandwidth renegotiation scheme for packet switched cellular networks;load balancing approach for wireless IEEE 802.11 QoS enhancement;stable and energy efficient clustering of wireless ad hoc networks with LIDAR algorithm;DNS-based service discovery in ad hoc networks: evaluation and improvements;a hop-by-hop multipath routing protocol using residual bandwidth for wireless mesh networks;lowest weight: reactive clustering algorithm for adhoc networks;distributed self-policing architecture for fostering node cooperation in wireless mesh networks;RFID systems: a survey on security threats and proposed solutions;TMSI allocation mechanism using a secure VLR authorization in the GSM system;on the anomaly intrusion-detection in mobile ad hoc network environments;locally-constructed trees for adhoc routing;and overlay small group multicast mechanism for MANET.

关键词：

来源：评论

学校读者我要写书评

暂无评论

formal methods for open object-based distributed systems - 8th ifip WG 6.1 international conference, FMOODS 2006, Proceedings

Formal Methods for Open Object-Based Distributed Systems - 8...

引用

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

ISBN: (纸本)354034893X

the proceedings contain 19 papers. the topics discussed include: security issues in service composition;separating distribution from coordination and computation as architectural dimensions, bounded analysis and decomposition for behavioural descriptions of components, synchronizing behavioural mismatch in software composition;static safety for an actor dedicated process calculus by abstract interpretation;temporal superimposition of aspects for dynamic software architecture;modeling long-running transactions with communicating hierarchical timed automata;transformation laws for UML-RT;underspecification, inherent nondeterminism and probability in sequence diagrams;generating instance models from meta models;defining object-oriented execution semantics using graph transformations;type-safe runtime class upgrades in Creol;and abstract interface behavior of object-oriented languages with monitors.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

KeY:: A formal method for object-oriented systems

KeY:: A formal method for object-oriented systems

引用

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

作者： Ahrendt, Wolfgang Beckert, Bernhard Haehnle, Reiner Schmitt, Peter H. Chalmers Univ Technol Dept Comp Sci & Engn Gothenburg Sweden Univ Koblenz Dept Comp Sci Mainz Germany Univ Karlsruhe Dept Theoret Comp Sci Karlsruhe Germany

ISBN: (纸本)9783540729198

this paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of object-oriented software. It aims for integrating design, implementation, formal specification and formal verification as seamlessly as possible. the intention is to provide a platform that allows close collaboration of conventional and formal software development methods.

关键词： formal verification

来源：评论

学校读者我要写书评

暂无评论

A representation-independent behavioral semantics for object-oriented components

A representation-independent behavioral semantics for object...

引用

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

作者： Poetzsch-Heffter, Arnd Schaefer, Jan Univ Kaiserslautern D-67663 Kaiserslautern Germany

ISBN: (纸本)9783540729198

Behavioral semantics abstracts from implementation details and allows to describe the behavior of software components in a representation-independent way. In this paper, we develop a formal behavioral semantics for class-based object-oriented languages with aliasing, subclassing, and dynamic dispatch. the code of an object-oriented component consists of a class and the classes used by it. A component instance is realized by a dynamically evolving set of objects with a clear boundary to the environment. the behavioral semantics is expressed in terms of the messages crossing the boundary. It is defined as an abstraction of an operational semantics based on an ownership-structured heap. We show how the semantics can be used to define substitutability in a program independent way.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Adaptation of open component-based systems

Adaptation of open component-based systems

引用

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

作者： Poizat, Pascal Salauen, Gwen Univ Evry Val Essonne CNRS IBISC FRE 2873 Evry France INRIA Rocquencourt ARLES Project Paris France Univ Malaga Dept Comp Sci Malaga Spain

ISBN: (纸本)9783540729198

Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. this is crucial to foster reuse. So far, adaptation techniques have proceeded by computing global adaptors for closed systems made up of a fixed set of components. this is not satisfactory when the systems may evolve, with components entering or leaving it at any time, e.g., for pervasive computing. To enable adaptation on such systems, we propose tool-equipped adaptation techniques for the computation of open systems adaptors. Our proposal also support incremental adaptation to avoid the computation of global adaptors.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

A mechanized model of the theory of objects

A mechanized model of the theory of objects

引用

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

作者： Henrio, Ludovic Kammueller, Florian CNRS – I3S – INRIA Sophia-Antipolis France Technische Universität Berlin Germany

In this paper we present a formalization of Abadi9;s and Cardelli9;s theory of objects in the interactive theorem prover Isabelle/ HOL. Our motivation is to build a mechanized HOL-framework for the analysis of a... 详细信息

ISBN: (纸本)9783540729198

In this paper we present a formalization of Abadi's and Cardelli's theory of objects in the interactive theorem prover Isabelle/ HOL. Our motivation is to build a mechanized HOL-framework for the analysis of a functional calculus for distributed objects. In particular, we present (a) a formal model of objects and its operational semantics based on de Bruijn indices (b) a parallel reduction relation for objects (c) the proof of confluence for the theory of objects reusing Nipkow's HOL-framework for the lambda calculus. We expect this framework to be highly reusable and allow further development and mechanized proofs of various aspects of object theory, e.g., distribution, aspect orientation, typing.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Refactoring object-oriented specifications with data and processes

Refactoring object-oriented specifications with data and pro...

引用

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

作者： Ruhroth, thomas Wehrheim, Heike Univ Gesamthsch Paderborn Dept Comp Sci D-33098 Paderborn Germany

ISBN: (纸本)9783540729198

Refactoring is a method for improving the structure of programs/specifications as to enhance readability, modularity and reusability. Refactorings are required to be behaviour-preserving in that - to an external observer - no difference between the program before and after refactoring is visible. In this paper, we develop refactorings for an object-oriented specification formalism combining a state-based language (object-Z) with a process algebra (CSP). In contrast to OO-programming languages, refactorings moving methods or attributes up and down the class hierarchy, in addition, need to change CSP processes. We formally prove behaviour preservation with respect to the failures-divergences model of CSP.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：