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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
15 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 software enginee...
9 篇 artificial intel...
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
7 篇 programming lang...
6 篇 computer science
6 篇 software enginee...
6 篇 mathematical log...
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
6 篇 logics and meani...

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 tallinn universi...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 department of co...
1 篇 the pennsylvania...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

183 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 186 条记录，以下是161-170 订阅

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

详细简洁

排序：

Visual Modeling of Behavioral Properties in the LVM for XML Using XSemantic Nets

Visual Modeling of Behavioral Properties in the LVM for XML ...

引用

international symposium on database Engineering and Applications (IDEAS)

作者： R. Rajugan Elizabeth Chang Ling Feng tharam S. Dillon University of Technology Sydney Sydney NSW AU School of Information Systems Curtin University of Technology Australia Faculty of Computer Science University of Twente The Netherlands Faculty of IT University of Technology Sydney Australia

Due to the increasing dependency on self-describing, schema-based, semi-structured data (e.g. XML), there exists a need to model, design and manipulate semi-structured data and the associated semantics at a higher level of abstraction than at the instance or document level. In this paper, we extend our research and propose to visually model (at the conceptual level) and transform dynamic properties of views in the layered view model (LVM) using the eXtensible semantic (XSemantic) net notation. First, we present the modeling notation and then discuss the declarative transformation to map the dynamic XML view properties to XML query expressions, namely XQuery

关键词： XML Object oriented modeling Information systems database languages Power system modeling Australia Computer science Humans Software engineering Object oriented databases

来源：评论

学校读者我要写书评

暂无评论

On the Verifiability of Programs Written in the Feature Language Extensions

On the Verifiability of Programs Written in the Feature Lang...

引用

IEEE international Symposim on High Assurance Systems Engineering

作者： Wu-Hon F. Leung Computer Science Department Istituto Italiano di Tecnologia Canada

High assurance in embedded system software is difficult to attain. Verification relies on testing. the unreliable and costly testing process is made much worse because the software base constantly changes: Adding a feature is by changing the code of other features, and the programs of the features entangle in the same reusable program unit of the programming language. For a large class of applications, including those requiring exception handling, this entanglement problem cannot be solved using existing general purpose programming languages. the Feature Language Extensions (FLX) is a set of language constructs designed to enable the programmer to solve the entanglement problem. It provides language support for assertion based verification. the satisfiability of first order assertions composed of variables defined by FLX can be determined without iterations of trials and errors. An executable FLX program is compiled into a finite state machine even if the state variables are unbounded.

关键词： Computer languages programming profession Automata Software systems Software testing Embedded system Embedded software Software reusability Application software Java

来源：评论

学校读者我要写书评

暂无评论

SoCQ: A Framework for Pervasive Environments

SoCQ: A Framework for Pervasive Environments

引用

international symposium on Parallel Architectures, Algorithms and Networks (ISPAN)

作者： Yann Gripay Frédérique Laforest Jean-Marc Petit INSA-Lyon LIRIS UMR5205CNRS Université de Lyon Lyon France

Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to query data, streams and services in a declarative way. In this paper, we propose a framework that defines a data-centric view of pervasive environments: the classical notion of database is extended to come up with a broader notion, defined as relational pervasive environment, homogeneously integrating data, streams and active/passive services. It allows declarative definitions of service-oriented continuous queries using a SQL-like language, based on the so-called Serena algebra. We also tackle the design of a pervasive environment management system that handles non-conventional data sources and service-oriented continuous queries.

关键词： Relational databases Distributed databases Algebra Environmental management database languages Data models Temperature Pervasive computing Actuators Design optimization

来源：评论

学校读者我要写书评

暂无评论

A novel approach to model NOW in temporal databases

A novel approach to model NOW in temporal databases

引用

international Workshop on Temporal Representation and Reasoning (TIME)

作者： B. Stantic J. thornton A. Sattar School of Information Technology Griffith University Gold Coast Australia

In bitemporal databases, current facts and transaction states are modeled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Previous studies indicate that the choice of value for now (i.e. the current time) significantly influences the efficiency of accessing bitemporal data. this paper introduces a new approach to represent now, in which current tuples and facts are represented as points on the transaction time and valid time line respectively. this allows us to exploit the computational advantages of point-based query languages. Via an empirical study, we demonstrate that our new approach to representing now offers considerable performance benefits over existing techniques for accessing bitemporal data.

关键词： Transaction databases Relational databases database languages Information technology Gold Data models Production History Batteries Costs

来源：评论

学校读者我要写书评

暂无评论

Integrating Language Model in Handwritten Chinese Text Recognition

Integrating Language Model in Handwritten Chinese Text Recog...

引用

international Conference on Document Analysis and Recognition

作者： Qiu-Feng Wang Fei Yin Cheng-Lin Liu National Laboratory of Pattern Recognition (NLPR) Institute of Automation Chinese Academy and Sciences Beijing China

ISBN: (纸本)9781424445004

this paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segmentation candidates, and the candidate paths are evaluated by character recognition scores and language model. the optimal path, giving segmentation and recognition result, is found using a pruned dynamic programming search method. We evaluate various language models, including the character-based n-gram, word-based n-gram, and hybrid n-gram models. Experimental results on the HIT-HW database show that the language models improve the recognition performance remarkably.

关键词： Natural languages Text recognition Character recognition Image segmentation Character generation Lattices Handwriting recognition Pattern recognition Dynamic programming Text analysis

来源：评论

学校读者我要写书评

暂无评论

A prototype of sensor network visualization application with geographic information

A prototype of sensor network visualization application with...

引用

international symposium on Information Processing in Sensor Networks (IPSN)

作者： Kazuhisa Asakawa Mitsuhiro Kashiwada Norihisa Segawa Jun Sawamoto Graduate School of Software and Information Science Iwate Prefectural University Japan Faculty of Software and Information Science Iwate Prefectural University Japan

In recent years, research of sensor networks has advanced rapidly. Sensor networks are anticipated for use in widely various fields such as product traceability systems, environmental monitoring, and health care. However, developers must develop applications to work in a sensor node and applications to produce sensor data. the knowledge that is necessary for development and acquisition of the programming language is both costly and time-consuming to develop. this study examines the possibility of web programmers becoming independent of specific programming languages. Software libraries can be developed easily for sensor nodes, and development of server applications can become possible using a new system. In addition, we produced a visualization application experimentally using geographic information using the server application and a developed software library.

关键词： Servers Software libraries Forestry Temperature sensors Software Computer languages Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

Issues in Designing a Policy Language for Distributed Management of IT Infrastructures

Issues in Designing a Policy Language for Distributed Manage...

引用

IFIP/IEEE international symposium on Integrated Network Management

作者： Dakshi Agrawal Seraphin Calo Kang-Won Lee Jorge Lobo IBM Thomas J. Watson Research Center USA

ISBN: (纸本)1424407982

the objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (simple policy language for CIM) that complies with the CIM (common information model) Policy Model and fully incorporates CIM constructs. Currently, the CIM standards from distributed management task force (DMTF) include a policy model, but there is no satisfactory way to render this policy model. CIM-SPL is a language that has been defined for this purpose. Second, we address design and implementation issues for policy languages in general, and for CIM-SPL in particular. the design of CIM-SPL was inspired by our previous experiences in designing various policy languages (e.g., PDL from Bell Laboratories, and ACPL from IBM) and lessons learned from studying other well-known policy languages (e.g., Ponder from Imperial College). We will discuss our design choices, evaluating the pros and cons of various alternatives. the ideas presented in this paper are meant to shed light on our design decisions, and provide guidance for those who want to build a CIM-based policy system or some other policy system in the future.

关键词： Computer integrated manufacturing Costs Information management Standards development database languages Writing Page description languages Educational institutions Hardware Sun

来源：评论

学校读者我要写书评

暂无评论

Value-Passing CCS for Trees: A theory for Concurrent Systems

Value-Passing CCS for Trees: A Theory for Concurrent Systems

引用

theoretical Aspects of Software Engineering (TASE)

作者： Shichao Liu Ying Jiang Chinese Academy of Sciences China University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781509017652

In this paper, we extend the theory CCS for trees (CCTS) to value-passing CCTS (VCCTS), whose symbols have the capacity for receiving and sending data values, and a non-sequential semantics is proposed in an operational approach. In this concurrent model, a weak barbed congruence and a localized early weak bisimilarity are defined, and the latter relation is proved to be sufficient to justify the former. As an illustration of potential applications of VCCTS, a semantics based on VCCTSis given to a toy multi-threaded programming language featuring a core of C/C++ concurrency, and a formalization based on the operational semantics of VCCTS is proposed for some relaxed memory models, and a DRF-guarantee property with respect to VCCTS is proved.

关键词： Semantics Computer languages Concurrent computing Petri nets Reactive power Software

来源：评论

学校读者我要写书评

暂无评论

Temporal queries in XML document archives and web warehouses

Temporal queries in XML document archives and web warehouses

引用

international Workshop on Temporal Representation and Reasoning (TIME)

作者： Fusheng Wang C. Zaniolo Computer Science Department University of California Los Angeles CA USA

By storing the successive versions of a document in an incremental fashion, XML repositories and data warehouses achieve: (i) the efficient preservation of critical information; and (ii) the ability of supporting historical queries on the evolution of documents and their contents. In this paper, we present efficient techniques for managing multi-version document histories and supporting powerful temporal queries on such documents. Our approach consists in: (i) concisely representing the successive versions of a document as an XML document that implements a temporally grouped data model; and (ii) using XML query languages, such as XQuery, to express complex queries on the content of a particular version, and on the temporal evolution of the document elements and their contents. We show that the data definition & manipulation framework of XML & XQuery can support temporal models and historical queries significantly better than the traditional framework of Relational Tables & SQL. To demonstrate this point, we investigate how to express complex queries on the history of relational tables published as XML data.

关键词： XML Management information systems Data warehouses History Software libraries Application software Computer science Energy management Data models database languages

来源：评论

学校读者我要写书评

暂无评论

Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing

Towards a Layered Architecture for Object-Based Execution in...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Tarek Abdelzaher Qing Cao Raghu Ganti Dan Henriksson Maifi Khan Jin Heo Chengdu Huang Praveen Jayachandran Hieu Khac Le Liqian Luo Yu-En Tsai Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication protocols. these challenges are brought about by the tight integration of computation, communication, and distributed real-time interaction with the physical world. With the growing interest in interconnecting different sensor networks across a wide-area communication infrastructure, an overarching challenge becomes one of arriving at an agreed-upon global sensor network architecture that ensures interoperability. Unlike the Internet, where a layered communication stack (namely, the TCP/IP stack) defines the network architecture, a sensor network architecture must unify not only communication interfaces but also programming interfaces, since network communication and computation functions are tightly intertwined. In that sense, the sensor network architecture refers to a layered stack of distributed computing abstractions. this paper presents an architecture and key considerations in designing and interconnecting local and global sensor networks. Candidate protocols and middleware instantiations are described from the authors' ongoing work that meet the discussed considerations

关键词： Computer architecture Embedded computing Distributed computing Protocols Sensor systems and applications Computer languages Physics computing LAN interconnection IP networks TCPIP

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：