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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

48 篇 工学
- 46 篇 计算机科学与技术...
- 37 篇 软件工程
- 4 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 仪器科学与技术
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 电气工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
14 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 海洋科学
- 1 篇 地质学
6 篇 管理学
- 4 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 法学
- 1 篇 社会学

主题

12 篇 computer program...
4 篇 software enginee...
4 篇 functional progr...
3 篇 modeling languag...
3 篇 logic programmin...
3 篇 computer languag...
3 篇 computer program...
2 篇 object oriented ...
2 篇 computer science
2 篇 programming prof...
2 篇 filters
2 篇 libraries
2 篇 programming
2 篇 algorithms
2 篇 parallel program...
2 篇 humans
2 篇 assembly
1 篇 software systems
1 篇 query languages
1 篇 computing and ed...

机构

2 篇 departamento de ...
1 篇 artificial intel...
1 篇 lig lab saint ma...
1 篇 univ nottingham ...
1 篇 department of co...
1 篇 japan science an...
1 篇 tartan laborator...
1 篇 univ hong kong p...
1 篇 central institut...
1 篇 sch of electr en...
1 篇 computer science...
1 篇 university of co...
1 篇 univ tartu dept ...
1 篇 department of co...
1 篇 cnrs f-75205 par...
1 篇 univ pisa dipart...
1 篇 univ paris 12 la...
1 篇 univ aix marseil...
1 篇 department of co...
1 篇 advanced technol...

作者

2 篇 lam monica s.
2 篇 mittal saurabh
1 篇 oliveira bruno c...
1 篇 fahringer thomas
1 篇 gronmo roy
1 篇 r. lo
1 篇 alvaro peter
1 篇 tauber tomas
1 篇 han taisook
1 篇 huang zhexue
1 篇 itabashi kazumas...
1 篇 hoole quinton
1 篇 riley graham
1 篇 bes alexis
1 篇 loh andres
1 篇 carlos canal
1 篇 vachharajani man...
1 篇 nichols mark a.
1 篇 kang hyun-goo
1 篇 barry matthew

语言

56 篇 英文
3 篇 葡萄牙文
1 篇 西班牙文

检索条件"任意字段=3rd Asian Symposium on Programming Languages and Systems"

共 60 条记录，以下是41-50 订阅

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

详细简洁

排序：

Functional programming of behavior-based systems 3

Functional programming of behavior-based systems

引用

3rd IEEE International symposium on Computational Intelligence in Robotics and Automation, CIRA 1999

作者： Horswill, Ian Douglas Computer Science Department The Institute for the Learning Sciences Northwestern University EvanstonIL60201 United States

ISBN: (纸本)0780358066

In this paper, I describe a simple functional programming language, GRL, in which most of the characteristic features of the popular behavior-based robot architectures can be concisely written as reusable software abstractions. This makes it easier to write clear, modular code, to "mix and match"arbitration mechanisms, and to experiment with variations on existing mechanisms. I describe the compilation process for the language, our experiences with it, and issues of efficiency, expressiveness, and code size relative to other languages. © 1999 IEEE.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

The future of programming—are fundamental changes in computer science programs coming? (panel) 98

The future of programming—are fundamental changes in comput...

引用

Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education

作者： Hal Hart Jim Caristi Robert Dewar Mark Gerhardt Drew Hamilton Christopher Haynes Sam Rebelsky

ISBN: (纸本)9780897919944

Computer programming languages (and their dominance as the means of software development) have been one of the most high-profile topics in the 50-year history of computing --- reaching mature technology and achievements for language definition, translation, usage, analysis, pedagogical approaches, etc. and in terms of their general impact on computing systems This reality has continuously driven the content of Computer Science curriculums to feature programming languages, their definition techniques, and their translation methods as the subject of many core courses, and their usage as a tool to carry out the teaching of the principles in most other courses. The objective of this panel is to, at just past the mid-point of the first century of computing, debate whether this pre-eminent role of programming languages will continue straightforwardly in the second half-century, if radically new styles of programming languages will emerge and dominate, or if programming languages will recede to minor importance compared to alternate software-development paradigms in both usage and teaching impact. And, for each of those propositions, to assess the impacts for change in typical CS *** most software domains today, so-called 3rd-generation programming languages (e.g., Ada, Scheme, Pascal, C/C++, Modula 2, COBOL, FORTRAN, and recently, Java) enjoy considerable portability between computers and are now widely accepted. In these "procedural" languages programmers still are responsible for designing and coding the software architectures, algorithms, logic, and most data structures to solve the problems. For some well-understood domains (e.g., report writing, inventory control, and some financial programming), 4th-generation languages (4GLs) or "non-procedural" languages are established which essentially allow users to specify "requirements" instead of software solutions, with 4GL compilers that generate code satisfying the requirements; the number of domains for which

关键词：

来源：评论

学校读者我要写书评

暂无评论

Distributed programming platform using mobile agents

Distributed programming platform using mobile agents

引用

Proceedings of the 1997 3rd International symposium on Autonomous Decentralized systems, ISADS'97

作者： Sadok, Djamel H. Kelner, Judith Silva, R.A. Universidade Federal de Pernambuco Pernambuco Brazil

Current distributed computing is based on rigid paradigms such as client server computing, that lack run-time adaptive behaviour. The designer of such systems has to consider all possibilities during the design stage and the services that are offered remain constant until a new re-design is done. Although there have been attempts to provide different programming languages that consider programming both distributed and non distributed applications the same, the two remain however different. New paradigms are needed that consider factors such as dynamic adaptability, interaction, ability to monitor and react to the environment, mobility, network latency, partial failure and concurrency. In this work, we show that the agent based programming paradigm, agentware, is closer to fulfilling some of these requirements and describe the proposed Agentware Virtual Machine (AVM), a generic distributed agent-based computing environment. With the emergence of intelligent agent-based technology, a number of distributed applications are being re-engineered taking advantage of this new design methodology.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing a requirements baseline with scenarios

Enhancing a requirements baseline with scenarios

引用

IEEE International symposium on Requirements Engineering

作者： J.C.S.P. Leite G. Rossi F. Balaguer V. Maiorana G. Kaplan G. Hadad A. Oliveros Pontificia Universidade Catolica do Rio de Janeiro Rio de Janeiro RJ BR Department de Investigación Universidad de Belgrano Buenos Aires Argentina

Scenarios are well recognized as an important strategy towards understanding the interface between the environment and the system, as well as a means to elicit and specify software behavior. We have a broader understanding of scenarios: for us, a scenario is an evolving description of situations in the environment. Our proposal is framed by Leite's (1995) work on a client-oriented requirements baseline, which aims at modeling the external requirements of a software system and its evolution. Scenarios start by describing the environmental situation, according to the main actions performed outside the software system. Scenarios also help the clarification of the interrelation between functional and non-functional requirements. We have validated our strategy and related representations based on case studies of a real situation.

关键词： Proposals Software systems Natural languages Software engineering programming Context modeling Mirrors

来源：评论

学校读者我要写书评

暂无评论

Sizing and estimating the coding and unit testing effort for GUI systems

Sizing and estimating the coding and unit testing effort for...

引用

International symposium on Software Metrics

作者： R. Lo R. Webby R. Jeffery Centre for Advanced Empirical Software Research University of New South Wales Australia

This study derives and validates an empirical effort estimation model for graphical user interface (GUI) systems. It investigates the relationship between the effort to code and unit test GUI systems and the numbers of different types of widgets (e.g., text boxes, check boxes, list boxes) designed in those systems. The study focuses on systems implemented using Visual Basic, a popular Microsoft Windows programming language. The GUI effort estimation model was empirically derived from an agent diary system implemented in an international bank. The model exhibited a strong relationship (R/sup 2/=0.863, p<0.001) between estimated effort and the numbers of different types of widgets. In an exploratory test of robustness, the GUI effort estimation model was applied without calibration to a different development environment. As expected there was a high error level, confirming the need for calibration when applying effort estimation models to foreign settings.

关键词： System testing Graphical user interfaces Calibration Computer industry Ice Visual BASIC Computer languages Robustness Software metrics programming

来源：评论

学校读者我要写书评

暂无评论

The parameterized complexity of some problems in logic and linguistics 3rd

The parameterized complexity of some problems in logic and l...

引用

3rd International symposium on Logical Foundations of Computer Science, LFCS 1994

作者： Downey, Rodney G. Fellows, Michael R. Kapron, Bruce M. Hallett, Michael T. Todd Wareham, H. Department of Mathematics Victoria University P.O. Box 600 Wellington New Zealand Department of Computer Science University of Victoria VictoriaBCV8W 3P6 Canada

ISBN: (纸本)9783540581406

The theory of parameterized computational complexity introduced in [DF1-3] appears to be of wide applicability in the study of the complexity of concrete problems [ADF,BDFW,BFH,DEF,FHW,FK]. We believe the theory may be of particular importance to practical applications of logic formalisms in programming language design and in system specification. The reason for this relevance is that while many computational problems in logic are extremely intractable generally, realistic applications often involve a "hidden parameter" according to which the computational problem may be feasible according to the more sensitive criteria of fixed-parameter tractability that is the central issue in parameterized computational complexity. We illustrate how this theory may apply to problems in logic, programming languages and linguistics by describing some examples of both tractability and intractability results in these areas. It is our strong expectation that these results are just the tip of the iceberg of interesting applications of parameterized complexity theory to logic and linguistics. Our main results are as follows. (1) The problem of determining whether a word x can be derived in k steps in a context-sensitive grammar G (Short CSL Derivation) is complete for the parameterized complexity class W[1]. (2) The problem Minimum Axiom Set [G J] is complete for the parameterized complexity class W[P]. The latter result has the added significance of providing a starting point for a proof of the important structural result W[P] = monotone W[P]. We also report on the parameterized complexity of reachability in Petri nets (equivalently, vector addition systems) and of some problems concerning phonological derivation in linguistic theory. © 1994, Springer Verlag. All rights reserved.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Subtyping inheritance in languages for symbolic computation systems 3rd

Subtyping inheritance in languages for symbolic computation ...

引用

3rd International symposium on Design and Implementation of Symbolic Computation systems, DISCO 1993

作者： Di Blasio, Paolo Temperini, Marco Dipartimento Informatica e Sistemistica Università "La Sapienza" Via Salaria 113 Roma1-00198 Italy

ISBN: (纸本)9783540572350

Object-oriented programming techniques can be fruitfully applied to design languages for symbolic computation systems. Unfortunately, basic correctness problems still exist in object-oriented languages, due to the interaction between polymorphism and method redefinition. Here a mechanism of subtyping inheritance is presented, in order to propose a solution of these problems. A subtyping inheritance mechanism (Enhanced Strict Inheritance) is defined by deriving from the characteristics of a presented model of subtyping. As the base of the subtyping rule, the monotonic (or covariant) rule is chosen. Once it is supported by the programming language of a symbolic computation system, our mechanism allows for a safe treatment of polymorphism induced by inheritance. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Variant handling, inheritance and composition in the objectmath computer algebra environment 3rd

Variant handling, inheritance and composition in the objectm...

引用

3rd International symposium on Design and Implementation of Symbolic Computation systems, DISCO 1993

作者： Fritzson, Peter Engelson, Vadim Viklund, Lars Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingS-581 83 Sweden

ISBN: (纸本)9783540572350

ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates object-oriented constructs such as classes and single and multiple inheritance within a computer algebra language. In addition, composition of objects using the part-of relation and support for solution of systems of equations is provided. This environment is currently being used for industrial applications in scientific computing. The ObjectMath environment is designed to handle realistic problems. This is achieved by allowing the user to specify transformations and simplifications of formulae in the model, in order to arrive at a representation which is efficiently solvable. When necessary, equations can be transformed to C++ code for efficient numerical solution. The re-use of equations through inheritance in general reduces models by a factor of two to three, compared to a direct representation in the Mathematica computer algebra language. Also, we found that multiple inheritance from orthogonal classes facilitates re-use and maintenance of application models. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Neighborhood query and analysis with GeoSAL, a spatial database language 3rd

Neighborhood query and analysis with GeoSAL, a spatial datab...

引用

3rd International symposium on Large Spatial Databases, SSD 1993

作者： Huang, Zhexue Svensson, Per Environmental and Natural Resources Information Systems Royal Institute of Technology StockholmS-100 44 Sweden Division of Applied Mathematics and Data Processing National Defence Research Establishment SundbybergS-172 90 Sweden

ISBN: (纸本)9783540568698

Although some database query languages provide basic functions useful for statistical data analysis and others contain spatial query capabilities, there is as yet no database language implementation which satisfies even basic requirements of spatial analysis. GeoSAL is a database language being designed to address the solution of descriptive data analysis tasks in general, and spatial analysis problems in particular. The objective of the development of GeoSAL is to free analyst users from procedural programming while retaining a systematic and parsimonious language structure embedding fundamental as well as domain-specific concepts. A number of spatial queries and analyses are characterized by the application of neighborhood conditions to spatial objects. Thus, the specification and evaluation of neighborhood conditions within a spatial database language is an important issue in spatial database research. In this paper, several kinds of neighboring relationships are formulated in GeoSAL and the use of the resulting expressions is shown in examples. The capacity of GeoSAL to perform spatial operations involving non-trivial neighborhood conditions is thus demonstrated. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

3rd European symposium on programming - ESOP '90

3rd European Symposium on Programming - ESOP '90

引用

3rd European symposium on programming - ESOP '90

Proceedings incorporates six papers which address fundamental issues and important developments in the design, specification and implementation of programming languages and systems. These papers describe practical work based on theory, or computer experiments implementing theoretical concepts and formal models. Topics convered include: type systems for implicit scaling, algebrain properties of program integration, resolution and type theory, power domain constructions, the expressive power of programming languages as well as automatic autoprojection of higher order recursive equations.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：