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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,159 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
26 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,233 篇 英文
13 篇 其他
8 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1254 条记录，以下是471-480 订阅

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

详细简洁

排序：

On business logic vulnerabilities hunting: the APP-LogGIC framework

On business logic vulnerabilities hunting: The APP-LogGIC fr...

引用

7th international conference on Network and System Security, NSS 2013

作者： Stergiopoulos, George Tsoumas, Bill Gritzalis, Dimitris 76 Patission Ave. Athens GR-10434 Greece

ISBN: (纸本)9783642386305

While considerable research effort has been put in the identification of technical vulnerabilities, such as buffer overflows or SQL injections, business logic vulnerabilities have drawn limited attention. logic vulnerabilities are an important class of defects that are the result of faulty application logic. Business logic refers to requirements implemented in algorithms that reflect the intended functionality of an application, e.g. in an online shop application, a logic rule could be that each cart must register only one discount coupon per product. In our paper, we extend a novel heuristic and automated method for the detection of logic vulnerabilitieswhich we presented in a previous publication. this method detects logic vulnerabilities and asserts their criticality in Java GUI applications using dynamic analysis and static together with a fuzzy logic system in order to compare and rank its findings, in an effort to minimize false positives and negatives. An extensive analysis of the code ranking system is given along with empirical results in order to demonstrate its potential. © 2013 Springer-Verlag.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

A hybrid approach combining fuzzy consensus and goal programming for information system selection

A hybrid approach combining fuzzy consensus and goal program...

引用

7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013

作者： Igoulalene, Idris Benyoucef, Lyes Aix-Marseille University LSIS UMR 7296 Avenue Escadrille Normandie Niemen 13397 Marseille Cedex 20 France

ISBN: (纸本)9783902823359

Supply chain coordination (SCC) is nowadays one of the active research topic in Production and Operations Management (POM). this paper deals with the development of a Fuzzy Consensus based Multi-Criteria approach dedicated to Information System Selection. More specifically, the problem of information system selection is formulated as a Group Multi-Criteria Decision Making (GMCDM) problem and is solved by a hybrid approach combing Consensus and Goal programming methods in fuzzy environment. To illustrate the applicability of the proposed approach, an illustrative example is presented and the numerical results analyzed. © IFAC.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

automated selection of grounding algorithm in Answer Set programming

Automated selection of grounding algorithm in Answer Set Pro...

引用

13th international conference of the Italian Association for Artificial Intelligence, AI*IA 2013

作者： Maratea, Marco Pulina, Luca Ricca, Francesco DIBRIS Univ. Degli Studi di Genova Viale F. Causa 15 16145 Genova Italy POLCOMING Univ. Degli Studi di Sassari Viale Mancini 5 07100 Sassari Italy Dip. di Matematica Ed Informatica Univ. della Calabria Via P. Bucci 87030 Rende Italy

ISBN: (纸本)9783319035239

Answer Set programming (ASP) is a powerful language for knowledge representation and reasoning. ASP is exploited in real-world applications and is also attracting the interest of industry thanks to the availability of efficient implementations. ASP systems compute solutions relying on two modules: a grounder that produces, by removing variables from the rules, a ground program equivalent to the input one;and a model generator (or solver) that computes the solutions of such propositional program. In this paper we make a first step toward the exploitation of automated selection techniques to the grounding module. We rely on two well-known ASP grounders, namely the grounder of the DLV system and GRINGO and we leverage on automated classification algorithms to devise and implement an automatic procedure for selecting the "best" grounder for each problem instance. An experimental analysis, conducted on benchmarks and solvers from the 3rd ASP Competition, shows that our approach improves the evaluation performance independently from the solver associated with our grounder selector. © Springer international Publishing Switzerland 2013.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Initiating a benchmark for UML and OCL analysis tools

Initiating a benchmark for UML and OCL analysis tools

引用

7th international conference on Tests and Proofs, TAP 2013

作者： Gogolla, Martin Büttner, Fabian Cabot, Jordi University of Bremen Germany AtlanMod École des Mines de Nantes - INRIA LINA France

ISBN: (纸本)9783642389153

the Object Constraint Language (OCL) is becoming more and more popular for model-based engineering, in particular for the development of models and model transformations. OCL is supported by a variety of analysis tools having different scopes, aims and technological corner stones. the spectrum ranges from treating issues concerning formal proof techniques to testing approaches, from validation to verification, and from logic programming and rewriting to SAT-based technologies. this paper is a first step towards a well-founded benchmark for assessing validation and verification techniques on UML and OCL models. the paper puts forward a set of UML and OCL models together with particular questions for these models roughly characterized by the notions consistency, independence, consequences, and reachability. the paper sketches how these questions are handled by two OCL tools, USE and EMFtoCSP. the claim of the paper is not to present a complete benchmark right now. the paper is intended to initiate the development of further UML and OCL models and accompanying questions within the UML and OCL community. the OCL community is invited to check the presented UML and OCL models with their approaches and tools and to contribute further models and questions which emphasize the possibilities offered by their own tools. © 2013 Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An algorithm for enumerating maximal models of horn theories with an application to modal logics

An algorithm for enumerating maximal models of horn theories...

引用

19th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2013

作者： Aceto, Luca Della Monica, Dario Ingólfsdóttir, Anna Montanari, Angelo Sciavicco, Guido ICE-TCS School of Computer Science Reykjavik University Reykjavik Iceland Department of Mathematics and Computer Science University of Udine Udine Italy Department of Information Engineering and Communications University of Murcia Murcia Spain

ISBN: (纸本)9783642452208

the fragment of propositional logic known as Horn theories plays a central role in automated reasoning. the problem of enumerating the maximal models of a Horn theory (MAXMOD) has been proved to be computationally hard, unless P = NP. To the best of our knowledge, the only algorithm available for it is the one based on a brute-force approach. In this paper, we provide an algorithm for the problem of enumerating the maximal subsets of facts that do not entail a distinguished atomic proposition in a definite Horn theory (MAXNOENTAIL). We show that MAXMOD is polynomially reducible to MAXNOENTAIL (and vice versa), making it possible to solve also the former problem using the proposed algorithm. Addressing MAXMOD via MAXNOENTAIL opens, inter alia, the possibility of benefiting from the monotonicity of the notion of entailment. (the notion of model does not enjoy such a property.) We also discuss an application of MAXNOENTAIL to expressiveness issues for modal logics, which reveals the effectiveness of the proposed algorithm. © Springer-Verlag 2013.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Adding secure communication mechanism to existing distributed applications by means of AOP

Adding secure communication mechanism to existing distribute...

引用

7th international conference on Ubiquitous Information Technologies and Applications, CUTE 2012

作者： Sahingoz, Ozgur Koray Turkish Air Force Academy Computer Engineering Department 34149 Istanbul Turkey

ISBN: (纸本)9789400758568

the object-oriented programming paradigm is a process of implementing a program by means of 'Objects' into which separate concerns are grouped. However, it does not map some types of concerns such as security, logging and exception handling, which should be implemented in each object separately. As most of the security goals, reliable communication is a non-functional requirement in a distributed system development process, and it typically crosscuts many objects in the distributed architecture. Program codes to realize this secure communication goal is generally spread in different code places throughout the application. Aspect-oriented programming (AOP) is a new programming paradigm that improves program modularity by enabling the separation of concerns from the main logic of the application. For example, in the context of security, developers should not need to encode security logic in the main program;instead, it can be grouped into a separate and independent unit, called as aspects. this paper presents a case study to illustrate how aspect oriented approach can be used to resolve the scattered and tangled concerns, like secure communication, in a previously developed distributed system in which objects communicate with each other via Java RMI. As a java-based aspect oriented tool, AspectJ is used to encapsulate the security related crosscutting concerns like communication. Performance evaluations are tested for adding security aspect to a distributed application. As a result, usage of aspects is a good choice for enhancing system to achieve high cohesion and low coupling, which are one of the main the software engineering requirements. It also enhances the readability of the system and makes system easier to maintain. © 2013 Springer Science+Business Media.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

7th international Summer School on Aggregation Operators, AGOP 2013

7th International Summer School on Aggregation Operators, AG...

引用

7th international Summer School on Aggregation Operators, AGOP 2013

ISBN: (纸本)9783642391644

the proceedings contain 51 papers. the special focus in this conference is on Aggregation Operators. the topics include: R Package to Handle Archimax or Any User-Defined Continuous Copula Construction: acopula;how to Prove Sklar’s theorem;OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I);OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators. A Simulation Study (II);Duplication in OWA-Generated Positional Aggregation Rules;Application of OWA Operators in the L-Fuzzy Concept Analysis;Norm Aggregations and OWA Operators;migrativity of Uninorms over T-norms and T-conorms;additive Generators of Overlap Functions;aggregation Operators and Observable Properties of Human reasoning;continuous T-norms and T-conorms Satisfying the Principle of Inclusion and Exclusion;on Mulholland Inequality and Dominance of Strict Triangular Norms;distributivity Equation in the Class of Noncommutative T-Operators;on Some Classes of Discrete Additive Generators;the Consensus Functional Equation in Agreement theory;a Discriminative Dynamic Index Based on Bipolar Aggregation Operators for Supporting Dynamic Multi-criteria Decision Making;social Choice Voting with Linguistic Preferences and Difference in Support;calibration of Utility Function;uncertain Choices: A Comparison of Fuzzy and Probabilistic Approaches;bayes theorem, Uninorms and Aggregating Expert Opinions;copulas, Tail Dependence and Applications to the Analysis of Financial Time Series;on the Induction of New Fuzzy Relations, New Fuzzy Operators and their Aggregation;comparison of Different Algorithms of Approximation by Extensional Fuzzy Subsets;on the Symmetrization of Quasi-metrics: An Aggregation Perspective;aggregation Operators and Quadric Hypersurfaces;an Analysis of Bilevel Linear programming Solving Parameters Based on Factoraggregation Approach;compatible Group Decisions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards constraint-informed information systems

Towards constraint-informed information systems

引用

international conference on Research Challenges in Information Science, RCIS

作者： Irene Rodrigues Nuno Matos Salvador Abreu Rebecca Deneckere Daniel Diaz Universidade de Évora and Centria Portugal Université Paris I and CRI France

ISBN: (纸本)9781467329125

Declarative techniques such as Constraint programming are very useful in modeling complex requirements. they have the added benefit of being executable specifications and, when properly tuned, high-performance ones. In this paper we argue that Information Systems ought to include constraint-based techniques in their design and implementation. We support this claim by introducing tools based on constraint programming, which we apply to an actual use-case: the academic timetable construction and maintenance problem, as developed at the University of Evora. the system we built was implemented using the GNU Prolog language. Moreover, Constraints have the potential to describe global properties that a model must observe, which makes them a semantically very interesting extension to the capabilities of present model-driven techniques and tools.

关键词： Unified modeling language Information systems Context Educational institutions logic programming Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Tractable inference systems: An extension with a deducibility predicate

Tractable inference systems: An extension with a deducibilit...

引用

24th international conference on automated Deduction, CADE 2013

作者： Comon-Lundh, Hubert Cortier, Véronique Scerri, Guillaume LSV CNRS ENS Cachan France LORIA CNRS France

ISBN: (纸本)9783642385735

the main contribution of the paper is a PTIME decision procedure for the satisfiability problem in a class of first-order Horn clauses. Our result is an extension of the tractable classes of Horn clauses of Basin & Ganzinger in several respects. For instance, our clauses may contain atomic formulas S t where is a predicate symbol and S is a finite set of terms instead of a term. is used to represent any possible computation of an attacker, given a set of messages S. the class of clauses that we consider encompasses the clauses designed by Bana & Comon-Lundh for security proofs of protocols in a computational model. Because of the (variadic) predicate symbol, we cannot use ordered resolution strategies only, as in Basin & Ganzinger: given S t, we must avoid computing S′ t for all subsets S′ of S. Instead, we design PTIME entailment procedures for increasingly expressive fragments, such procedures being used as oracles for the next fragment. Finally, we obtain a PTIME procedure for arbitrary ground clauses and saturated Horn clauses (as in Basin & Ganzinger), together with a particular class of (non saturated) Horn clauses with the predicate and constraints (which are necessary to cover the application). © 2013 Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Botnet detection technique for corporate area network

Botnet detection technique for corporate area network

引用

IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications

作者： Oleg Savenko Sergii Lysenko Andrii Kryshchuk Yuriy Klots Department of System Programming Khmelnitsky National University Khmelnitsky Ukraine

A new approach for the botnet detection based on multi-agent system is proposed. For increasing of the efficiency of botnet detection the multi-agent system was involved that allowed to make botnet detection via agents' communication within corporate network. A new technique with the usage of fuzzy and neural-fuzzy systems that makes the conclusion about botnet presence degree in computer systems is developed. the analysis of the botnets' actions demonstrations in the situation of the intentionally computer system reconnection is performed. It takes into account the botnet demonstrations in the several computer systems which are available in the network.

关键词： Computers Multi-agent systems Fuzzy logic Computational modeling Monitoring Software Malware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：