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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

999 篇 会议
69 册 图书
10 篇 期刊文献

馆藏范围

1,078 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

698 篇 工学
- 569 篇 计算机科学与技术...
- 497 篇 软件工程
- 148 篇 控制科学与工程
- 133 篇 信息与通信工程
- 89 篇 电气工程
- 70 篇 机械工程
- 59 篇 动力工程及工程热...
- 51 篇 生物工程
- 48 篇 交通运输工程
- 44 篇 电子科学与技术（可...
- 37 篇 安全科学与工程
- 27 篇 光学工程
- 25 篇 生物医学工程（可授...
- 23 篇 仪器科学与技术
- 22 篇 化学工程与技术
- 19 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
393 篇 理学
- 299 篇 数学
- 59 篇 生物学
- 54 篇 系统科学
- 48 篇 物理学
- 39 篇 统计学（可授理学、...
- 28 篇 化学
196 篇 管理学
- 149 篇 管理科学与工程(可...
- 77 篇 工商管理
- 70 篇 图书情报与档案管...
40 篇 教育学
- 40 篇 教育学
37 篇 经济学
- 37 篇 应用经济学
23 篇 法学
- 20 篇 社会学
16 篇 医学
13 篇 农学
2 篇 文学
2 篇 军事学

主题

66 篇 software enginee...
65 篇 linear programmi...
53 篇 programming
40 篇 software enginee...
34 篇 artificial intel...
29 篇 optimization
26 篇 dynamic programm...
25 篇 programming tech...
24 篇 costs
22 篇 computational mo...
19 篇 programming lang...
18 篇 programming prof...
18 篇 integer programm...
18 篇 logics and meani...
17 篇 training
16 篇 computer communi...
16 篇 students
14 篇 machine learning
14 篇 engineering educ...
13 篇 computer science

机构

4 篇 department of sy...
4 篇 zhejiang univers...
4 篇 school of comput...
4 篇 state grid sichu...
4 篇 school of inform...
4 篇 school of mechan...
3 篇 school of automa...
3 篇 school of inform...
3 篇 school of comput...
3 篇 cent res inst el...
3 篇 eindhoven univer...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
3 篇 school of comput...
3 篇 school of inform...
3 篇 polytechnic inst...
3 篇 department of co...
3 篇 school of inform...
3 篇 school of inform...

作者

4 篇 hideki katagiri
4 篇 sanxing cao
4 篇 yin guodong
3 篇 zhang tao
3 篇 laksono pringgo ...
3 篇 chen hao
3 篇 kosuke kato
3 篇 rosyidi cucuk nu...
3 篇 miller j
3 篇 takano hirotaka
3 篇 asano hiroshi
3 篇 liu wei
3 篇 zhang chen
3 篇 shen tong
3 篇 smith m
3 篇 el-kenawy el-say...
3 篇 yang liu
3 篇 martin a
3 篇 abotaleb mostafa
3 篇 mugridge r

语言

1,034 篇 英文
42 篇 其他
6 篇 中文
1 篇 西班牙文

检索条件"任意字段=6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022"

共 1078 条记录，以下是941-950 订阅

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

详细简洁

排序：

A novel framework for dynamic survivable routing in mesh WDM networks

A novel framework for dynamic survivable routing in mesh WDM...

引用

Proceedings of 2004 6th international conference on Transparent Optical Networks

作者： Haque, Anwar Ho, Pin-Han Ho, James School of Computer Science University of Waterloo Ont. N2L3G1 Canada Dept. of Electrical Engineering University of Waterloo Ont. N2L3G1 Canada

ISBN: (纸本)0780383435

this paper proposes a novel framework of shared protection, namely Group Shared Protection (GSP), in mesh Wavelength Division Multiplexing (WDM) networks with dynamically arrived connection requests. Based on the (M:N)^ control architecture, GSP has n mutually independent protection groups, each of which containing N link-disjoint working paths protected by M protection paths. Based on this framework, an Integer Linear programming (ILP) formulation that can optimally reconfigure the spare capacity for a specific protection group whenever a working-protection path-pair joins is proposed. Two heuristics namely link-shared (LSP) and ring-shared protection (RSP) are introduced for further compromising the performance and the computation complexity. the proposed schemes are compared with a reported one, namely Successive Survivable Routing (SSR). We conclude that GSP provides a scalable and efficient solution for dynamic spare capacity reconfiguration following the (M:N)n control architecture.

关键词： Wavelength division multiplexing

来源：评论

学校读者我要写书评

暂无评论

Active coordination in Ad Hoc networks

Active coordination in Ad Hoc networks

引用

6th international conference on Coordination Models and Languages, COORDINATION 2004

作者： Julien, Christine Roman, Gruia-Catalin Department of Computer Science and Engineering Washington University Saint LouisMO63130 United States

ISBN: (纸本)354021044X

the increasing ubiquity of communicating mobile devices and vastly different mobile application needs have led to middleware models for ad hoc networks that simplify application programming. One such system, EgoSpaces, addresses the needs of individual applications, allowing them to define what data is included in their operating context using declarative specifications constraining properties of data, agents that own data, hosts where agents are running, and attributes of the network. In the resulting model, application agents interact with a dynamic environment through a set of views, or custom defined projections of the set of data present in the ad hoc network. this paper builds on EgoSpaces by allowing agents to assign behaviors to views. Behaviors consist of actions automatically performed in response to specified changes in a view. Behaviors discussed in this paper encompass reactive programming, transparent data migration, automatic data duplication, and event capture. Formal semantic definitions and programming examples are given for each behavior. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A novel framework for dynamic survivable routing in mesh WDM networks

A novel framework for dynamic survivable routing in mesh WDM...

引用

international conference on Transparent Optical Networks

作者： A. Haque Pin-Han Ho J. Ho School of Computer Science University of Waterloo ONT Canada Department of Electrical and Computer Engineering University of Waterloo ONT Canada

the paper proposes a novel framework of shared protection, namely group shared protection (GSP), in mesh wavelength division multiplexing (WDM) networks with dynamically arriving connection requests. Based on the (M:N)/sup n/ control architecture, GSP has n mutually independent protection groups, each of which contain N link-disjoint working paths protected by M protection paths. Based on this framework, an integer linear programming (ILP) formulation is proposed; it can optimally reconfigure the spare capacity for a specific protection group whenever a working-protection path-pair joins. Two heuristics, namely link-shared protection (LSP) and ring-shared protection (RSP), are introduced for further compromising the performance and the computational complexity. the proposed schemes are compared with a reported one, namely successive survivable routing (SSR). We conclude that GSP provides a scalable and efficient solution for dynamic spare capacity reconfiguration following the (M:N)/sup n/ control architecture.

关键词： Routing Intelligent networks WDM networks Protection Wavelength division multiplexing Computer architecture Communication system traffic control Integer linear programming Scalability Computer network management

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Fundamental Approaches to Software engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2003

引用

6th international conference on Fundamental Approaches to Software engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2003

ISBN: (纸本)3540008993

the proceedings contain 27 papers. the special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, Distributed and web applications, Software measurements, Formal verification, Analysis and testing and Model integrations and extensions. the topics include: An ontology for software component matching;a description language for composable components;a logical basis for the specification of reconfigurable component-based systems;an overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems;composing specifications of event based applications;a Spatio-Temporal logic for the specification and refinement of mobile systems;spatial security policies for mobile agents in a sentient computing environment;towards UML-based formal specifications of component-based real-time software;modelling recursive calls with UML state diagrams;model-based development of web applications using graphical reaction rules;modular analysis of dataflow process networks;foundations of a weak measurement-theoretic approach to software measurement;an information-based view of representational coupling in object-oriented systems;a temporal approach to specification and verification of pointer data-structures;a program logic for handling java card’s transaction mechanism;automatic model driven animation of SCR specifications;probe mechanism for object-oriented software testing;integration of formal datatypes within state diagrams;towards a natural interoperability between XML and ER diagrams;detecting implied scenarios analyzing non-local branching choices and capturing overlapping, triggered, and preemptive collaborations using MSCs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003

引用

6th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003

ISBN: (纸本)3540204911

the proceedings contain 19 papers. the special focus in this conference is on Models, Logic and Verification. the topics include: Towards object-oriented graphs and grammars;rewriting based model for probabilistic distributed object systems;engineering the sdl formal language definition;a syntax-directed hoare logic for object-oriented programming concepts;inheritance of temporal logic properties;temporal logic based static analysis for non-uniform behaviours;operational semantics and type system;a calculus for long-running transactions;formal analysis of some timed security properties in wireless protocols;inductive proof outlines for monitors in java;managing the evolution of .NET programs;on mobility extensions of UML statecharts;new operators for the turtle real-time UML profile;checking consistency in UML diagrams;compositional verification using CADP of the scalagent deployment protocol for software components;verification of distributed object-based systems and design and verification of distributed multi-media systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Spatial security policies for mobile agents in a sentient computing environment

引用

6th international conference on Fundamental Approaches to Software engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2003

作者： Scott, David Beresford, Alastair Mycroft, Alan Laboratory for Communications Engineering University of Cambridge United Kingdom Computer Laboratory University of Cambridge William Gates Building 15 JJ Thompson Avenue CambridgeCB3 0FD United Kingdom

ISBN: (纸本)3540008993

A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobile agents are a promising new programming methodology for building distributed applications with many advantages over traditional client-server designs. We believe that properly controlled mobile agents provide a good foundation on which to build Sentient applications. the aims of this work are threefold: (i) to provide a simple location-based mechanism for the creation of security policies to control mobile agents;(ii) to simplify the task of producing applications for a pervasive computing environment through the constrained use of mobile agents;and (iii) to demonstrate the applicability of recent theoretical work using ambients to model mobility. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

Super-resolution frequency estimation of the sinusoidal signals with unknown lowpass envelopes 6

Super-resolution frequency estimation of the sinusoidal sign...

引用

6th international conference on Signal Processing, ICSP 2002

作者： Ge, Feng-Xiang Qun, Wan Peng, Ying-Ning Jian, Yang Dept. of Electronic Engineering Tsinghua University Beijing100084 China

ISBN: (纸本)0780374886

A super-resolution frequency estimator for the sinusoidal signals with unknown lowpass envelope is proposed, based on the eigenanalysis and quadratic programming. Here only a single snapshot is required to achieve the frequency estimation. the performance studies, which include the comparisons of the method proposed in this paper and the nonlinear least-squares (NLS) approach with each other as well as with the Cramer-Rao Bound (CRB), is presented. the simulations also illustrate the good performance in the precision and super-resolution of the proposed method. © 2002 IEEE.

关键词： Frequency estimation

来源：评论

学校读者我要写书评

暂无评论

Reasoning about timeouts 6th

引用

6th international conference on Mathematics of Program Construction, MPC 2002

作者： Hayes, Ian J. School of Information Technology and Electrical Engineering The University of Queensland Brisbane4072 Australia

ISBN: (纸本)3540438572

In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of response, to be handled effectively, while not overly affecting the programming for the normal case. For example, in a pump controller if the water level has gone below the minimum level and the pump is on and hence pumping in more water, then the water level should rise above the minimum level within a specified time. If not, there is a fault in the system and it should be shut down and an alarm raised. Such a situation can be handled by normal case code that determines when the level has risen above the minimum, plus a timeout case handling the situation when the specified time to reach the minimum has passed. In this paper we introduce a timeout mechanism, give it a formal definition in terms of more basic real-time commands, develop a refinement law for introducing a timeout clause to implement a specification, and give an example of using the law to introduce a timeout. the framework used is a machine-independent real-time programming language, which makes use of a deadline command to represent timing constraints in a machine-independent fashion. this allows a more abstract approach to handling timeouts. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Water levels

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering 1

引用

16th European conference on Object-Oriented programming, ECOOP 2002

作者： Piattini, Mario e Abreu, Fernando Brito Poels, Geert Sahraoui, Houari A. Universidad de Castilla-La Mancha Ronda de Calatrava 5 Ciudad Real13071 Spain Universidade Nova de Lisboa and INESC Rua Alves Redol 9 Apartado 13069 Lisboa1000 Portugal Katholieke Universiteit Leuven VL EKHO Business School Koningsstraat 336 Brussels1030 Belgium Universite de Montreal CP 6128 succ Centre-Ville MontrealQCH3C 3J7 Canada

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

this report summarizes the contributions and debates of the 6th international ECOOP Workshop on Quantitative Approaches in Object-Oriented Software engineering (QAOOSE 2002), which was held in Malaga on 11 June, 2002. the objective of the QAOOSE workshop series is to present, discuss and encourage the use of quantitative methods in object-oriented software engineering research and practice. this year's workshop included the presentation of eleven position papers in the areas of "software metrics definition", "software size, complexity and quality assessment", and "software quality prediction models". the discussion sessions focused on current problems and future research directions in QAOOSE. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 91 92 93 94 95 96 97 98 99 100 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：