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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,803 篇 会议
357 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,237 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,596 篇 工学
- 3,093 篇 计算机科学与技术...
- 2,591 篇 软件工程
- 585 篇 信息与通信工程
- 436 篇 控制科学与工程
- 341 篇 电气工程
- 230 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 材料科学与工程（可...
- 81 篇 仪器科学与技术
993 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 171 篇 物理学
- 153 篇 统计学（可授理学、...
- 76 篇 化学
804 篇 管理学
- 570 篇 管理科学与工程(可...
- 303 篇 工商管理
- 290 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
131 篇 教育学
- 128 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
224 篇 software
177 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
131 篇 computer communi...
114 篇 computer science
111 篇 software enginee...
109 篇 hardware
109 篇 computer softwar...
102 篇 real-time system...
94 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
7 篇 sturm arnon
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,059 篇 英文
154 篇 其他
41 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5241 条记录，以下是3891-3900 订阅

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

详细简洁

排序：

QoS driven network-on-chip design for real time systems

QoS driven network-on-chip design for real time systems

引用

19th IEEE Canadian conference on Electrical and computer engineering

作者： Agarwal, Ankur Mustafa, Mehmet Pandya, A. S. Florida Atlantic Univ CSE Dept Boca Raton FL 33431 USA Verizon Labs Waltham MA 02451 USA

ISBN: (纸本)9781424400379

Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogeneous multiprocessor architecture platform. Such a multiprocessor system on chip (MPSoC) platform has set new innovative trends for the real-time systems and system on Chip (SoC) designers. the consequences of this trend imply the shift in concern from computation and sequential algorithms to modeling concurrency, synchronization and communication in every aspect of hardware and software co-design and development. With a billion transistors era, some of the main problems in deep sub-micron technologies characterized by gate lengths in the range of 60-90 nm arise from non scalable wire delays, errors in signal integrity and un-synchronized communication. these problems have been addressed by the use of packet switched Network on Chip (NOC) architecture for future SoCs and thus, real-time systems. Such a NOC based system should be able to support different levels of quality of service (QoS) to meet the real time systems requirements. thus, it becomes extremely critical to properly design a network interface (NI) and the communication backbone for NOC. In this paper we present a component based design of network interface and communication backbone which supports different levels of QoS. the design has been tested for an adaptive wormhole routing with proactive turn prohibition to guarantee deadlock free on chip communication for NOC architecture. In this work we propose to use the modified turn prohibition (MTP), which has been shown to perform better than up/down and the turn prohibition.

关键词： network-on-chip network interface quality-ofservice real-time-systems

来源：评论

学校读者我要写书评

暂无评论

Designing learning styles application of E-learning system using learning objects

引用

5th International conference on Web Based Learning, ICWL 2006

作者： Ab Hamid, Siti Hafizah Tan, Hock Chuan Department of Software Engineering University of Malaya 50603 Kuala Lumpur Malaysia

ISBN: (纸本)3540490272

the emergence of Learning Objects in learning technology has had a big impact on the learning environment and its community. Teachers and students have more facilities for using the E-Learning system, which has made the learning process more effective and beneficial. this paper presents an application framework for using Learning Objects in the learning styles application of an E-Learning system for an Object-Oriented C++ Programming subject. the project's end-user is a higher learning institution student or anyone who is learning the subject. the focus is on the reusability aspect of the noteeither content or database. the framework is explained by using SCORM-based architecture design, context diagram, database design, and interface design. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Sensor networks: From smart dust to multi-scale, multi-modal, multi-user observing systems

引用

5th International conference on Ad-Hoc, Mobile, and Wireless Networks

作者： Srivastava, Mani B. Univ Calif Los Angeles EE Dept Los Angeles CA 90095 USA

ISBN: (纸本)3540372466

Internet and wireless technologies have flattened the world by revolutionizing the exchange of information among individuals and organizations at a global scale over the past decade. Similar technological forces have led to the emergence of embedded networked sensing systems, or sensor networks, that are bringing about the next revolution. this new local revolution is making the world "transparent" by enabling observation of physical, biological, chemical, enterprise, urban, social, and personal processes up close, and at spatial and temporal details that are simply impossible otherwise. Already this technology has led to new science resulting from observation of new phenomena in areas ranging from the investigation of critical microclimate on the scale of a mountain canyon, to distribution of contaminants and their introduction into ground water supplies, to the fine-scale properties of alpine plants. the considerable progress in the past few years have also led to the realization that the early view of sensor networks as "smart dust" - a large and ad hoc but flat and homogeneous single-purpose long-lived collection of static resource-constrained devices - needs to be considerably expanded to a view of these systems as multi-scale, multi-modal, multi-user rapidlydeployable actuated observing systems. the talk will describe how the early technical challenges such as autonomous self-configuration, energyaware protocols, and efficient embedded software are now giving way to new challenges involving system and data integrity, safety and robustness, software re-configuration, and active sensing. Moreover, as the embedded sensing technology moves from scientific, engineering, defense, and industrial contexts to the wider personal, social and urban contexts, a new class of applications are emerging which draw on sensed information about people, objects, and physical spaces, and integrate with the global Internet and cellular infrastructure. the talk will discuss the priva

关键词： Telecommunication networks

来源：评论

学校读者我要写书评

暂无评论

Multi-model driven collaborative development platform for service-oriented e-business systems

Multi-model driven collaborative development platform for se...

引用

10th International conference on computer Supported Cooperative Work in Design

作者： Li, Yinsheng Huang, Ying Lu, Xiaohua Shi, Xingdong Shen, Weiming Ghenniwa, Hamada Fudan Univ Software Sch Shanghai 200433 Peoples R China IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA Natl Res Council Canada Integrated Mfg Technol Inst London ON N6G 4X8 Canada Univ Western Ontario Dept Elect & Comp Engn London ON N6A 5B8 Canada

ISBN: (纸本)142440164X

Service-oriented architecture can improve e-Business applications to be integrated and flexible. this paper proposes a multi-model driven collaborative development platform for service-oriented e-Business systems. the platform provides three views, i.e., business view, process view, and service view to support service-oriented software engineering, top-down business planning and bottom-up service-oriented application development. Business and technical consultants can collaborate from distributed sites of e.g., clients and IT vendors to provide their clients' with rapid development and demonstration. the proposed platform is driven by three models, i.e., service meta model, process model and business model. All of the three models support semantic description and rational operations, and facilitate intelligent service discovery, process execution and business-business integration. Concepts and implementation issues about the proposed platform has been presented in this paper. the platform has been developed and deployed in an innovation centre to be evaluated by visiting customers.

关键词： service-oriented architecture model driven architecture service meta model service-oriented software engineering

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an automatic RTPA code generator

Design and implementation of an automatic RTPA code generato...

引用

19th IEEE Canadian conference on Electrical and computer engineering

作者： Tan, Xinming Wang, Yingxu Ngolah, Cyprian F. Univ Calgary Theoret & Empirical Software Engn Res Ctr Dept Elect & Comp Engn 2500 Univ Dr NW Calgary AB T2N 1N4 Canada

ISBN: (纸本)9781424400379

Real-Time Process Algebra (RTPA) is a mathematics-based notation system for the specification and refinement of real-time and safety-critical systems. this paper presents the work on designing and developing a set of tools that facilitate automatic generation of C++ code from RTPA specifications of system architectures and behaviors. A two-phrase strategy has been employed in the design of the toolkit. In the first phrase, an RTPA specification is lexically and syntactically analyzed and type-checked, which results in a set of abstract syntax trees. In the second phrase, C++ code is generated using the RTPA-to-C++ mapping strategies and patterns when walking down the abstract syntax trees. the RTPA-to-C++ mapping strategies specify both the traditional sequential part of RTPA mapping onto the standard C++ library and the real-time features of RTPA, such as interrupt, concurrency, duration, and event/time-driven dispatch, mapping onto the RTPA run-time library, which provides real-time support and is implemented using real-time kernel techniques. the toolkit implemented includes an RTPA lexer, an RTPA parser, an RTPA type-checker, and an RTPA code-generator. the experimental results show that RTPA specifications can be rigorously checked and corresponding C++ code can be automatically generated from RTPA specifications using the toolkit. the automatically generated code is executable and effective under the support of the standard C++ library and the specially developed RTPA run-time library.

关键词： software engineering formal methods RTPA code generator descriptive mathematics

来源：评论

学校读者我要写书评

暂无评论

Towards a comprehensive framework for secure systems development 1

引用

18th International conference on Advanced Information systems engineering/2nd International Workshop on Philosophical Foundations of Information systems engineering

作者： Mouratidis, Haralambos Juerjens, Jan Fox, Jorge Univ E London Sch Comp & Technol London E15 4LZ England Tech Univ Munich Software & Syst Engn Munich Germany

ISBN: (数字)9783540346531

ISBN: (纸本)354034652X

Security involves technical as well as social challenges. In the development of security-critical applications, system developers must consider both the technical and the social parts. To achieve this, security issues must be considered during the whole development life-cycle of an information system. this paper presents an approach that allows developers to consider both the social and the technical dimensions of security through a structured and well defined process. In particular, the proposed approach takes the high-level concepts and modelling activities of the secure Tropos methodology and enriches them with a low level security-engineering ontology and models derived from the UMLsec approach. A real case study from the e-commerce sector is employed to demonstrate the applicability of the approach.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

Web-Based Intelligent Tutoring systems in K-12 Settings

Web-Based Intelligent Tutoring Systems in K-12 Settings

引用

International conference on computer and Information Science (ACIS)

作者： K.K. Wijekumar J. Spielvogel School of Information Sc & Technology Pennsylvania State University Beaver Monaca PA USA School of Information Sc & Technology Pennsylvania State University University Park PA USA

Web-based intelligent tutoring technologies present a great improvement from traditional computer aided learning in K-12 settings. We created a Web-based intelligent tutoring system to teach a reading comprehension approach to elementary and middle school students. this paper reports on each phase of the waterfall design process: analysis, design, development, and implementation of the system. the audience for this paper includes software designers working to develop learning technologies

关键词： Intelligent systems Information science conferences software engineering software architecture

来源：评论

学校读者我要写书评

暂无评论

Project Automation: Case study on the NeOSS Project

Project Automation: Case study on the NeOSS Project

引用

International conference on computer and Information Science (ACIS)

作者： Yong-kee Jeong Jun-Suk Oh Hyun-min Lim KT Network Technology Laboratory Daejeon South Korea

there are a lot of support systems that help in the performance of SI (system integration), which provides all the services needed by enterprises, from the planning of information systems to development, construction and management. However, these support systems are still labor-intensive and involve repetitive work. One of the works is the deployment of unit applications developed by different developers to the test environment or the working environment after building and gathering the applications. In this paper, an automation plan for the build-and-deploy process is presented through an investigation of KT's NeOSS (New Operations Support System), a large-scale SI project

关键词： Automation computer aided software engineering Project management Management information systems Large-scale systems Information management Web and internet services Telecommunication services Technology planning Technology management

来源：评论

学校读者我要写书评

暂无评论

Traffic-aware stress testing of distributed systems based on UML models 06

Traffic-aware stress testing of distributed systems based on...

引用

28th International conference on software engineering 2006, ICSE '06

作者： Garousi, Vahid Briand, Lionel G. Labiche, Yvan Carleton University Department of Systems and Computer Engineering Software Quality Engineering Laboratory 1125 Colonel By Drive Ottawa Ont. K1S5B6 Canada Simula Research Laboratory Department of Software Engineering Martin Linges v 17 Fornebu 1325 Lysaker Norway

ISBN: (纸本)1595933751

A stress test methodology aimed at increasing chances of discovering faults related to network traffic in distributed systems is presented. the technique uses the UML 2.0 model of the distributed system under test, augmented with timing information, and is based on an analysis of the control flow in sequence diagrams. It yields stress test requirements that are made of specific control flow paths along with time values indicating when to trigger them. Different variants of our stress testing technique already exist (they stress different aspects of a distributed system) and we focus here on one variant that is designed to identify and to stress test the system at the instant when data traffic on a network is maximal. Using a real-world distributed system specification, we design and implement a prototype distributed system and describe, for that particular system, how the stress test cases are derived and executed using our methodology. the stress test results indicate that the technique is significantly more effective at detecting network traffic-related faults when compared to test cases based on an operational profile. Copyright 2006 ACM.

关键词： Telecommunication traffic

来源：评论

学校读者我要写书评

暂无评论

Separating Designs from Implementations: Role-Based software Development

Separating Designs from Implementations: Role-Based Software...

引用

IEEE International conference on Cognitive Informatics

作者： Haibin Zhu Department of Computer Science and Mathematics Nipissing University ONT Canada

ISBN: (纸本)9781424404759

this paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and implementation is beneficial to software development. It proposes that roles can be taken as a new mechanism to separate design from implementation. It presents an exciting innovative perspective of software development, i.e., role-based software development. Finally, it shows the most difficult and important tasks of role-based software development

关键词： Production software design computer industry Motion pictures software systems Object oriented programming Psychology software engineering computer science Mathematics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 386 387 388 389 390 391 392 393 394 395 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：