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

7th JSAI international symposium on Artificial Intelligence, JSAI-isAI 2015

ISBN: (纸本)9783319509525

the proceedings contain 39 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Towards a probabilistic analysis for conditionals and unconditionals;an inference problem set for evaluating semantic theories and semantic processing systems for Japanese;applicative abstract categorial grammars in full swing;scope parallelism in coordination in dependent type semantics;discourse particles as CCP-modifiers: German doch and ja as context filters;tracking down disjunction;the meaning and use of the Japanese counter-expectational adverbs;evaluative predicates and evaluative uses of ordinary predicates;strong permission in prescriptive causal models;truth as a logical connective;abductive logic programming for normative reasoning and ontologies;a belief revision technique to model civil code updates;using ontologies to model data protection requirements in workflows;utilization of multi-word expressions to improve statistical machine translation of statutory sentences;argumentation support tool with reliability-based argumentation framework;applying a convolutional neural network to legal question answering;lexical-morphological modeling for legal text analysis;on the issue of argumentation and informedness;on the interpretation of assurance case arguments;learning argument acceptability from abstract argumentation frameworks;designing intelligent sleep analysis systems for automated contextual exploration on personal sleep-tracking data;a comparative study of similarity measures for time series classification;extracting propagation patterns from bacterial culture data in medical facility;aggregating and analyzing articles and comments on a news website;feasibility of collaborative learning and work between robots and children with autism spectrum disorders.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DIME: A programming-Less Modeling Environment for Web Applications

DIME: A Programming-Less Modeling Environment for Web Applic...

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Bosselmann, Steve Frohme, Markus Kopetzki, Dawid Lybecait, Michael Naujokat, Stefan Neubauer, Johannes Wirkner, Dominic Zweihoff, Philip Steffen, Bernhard TU Dortmund Programming Syst Dortmund Germany

ISBN: (纸本)9783319471693;9783319471686

We present DIME, an integrated solution for the rigorous model-driven development of sophisticated web applications based on the Dynamic Web Application (DyWA) framework, that is designed to accelerate the realization of requirements in agile development environments. DIME provides a family of Graphical Domain-Specific Languages (GDSLs), each of which is tailored towards a specific aspect of typical web applications, including persistent entities (i.e., a data model), business logic in form of various types of process models, the structure of the user interface, and access control. they are modeled on a high level of abstraction in a simplicity-driven fashion that focuses on describing what application is sought, instead of how the application is realized. the choice of platform, programming language, and frameworks is moved to the corresponding (full) code generator.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

logic Fragments: Coordinating Entities with logic Programs 7th

Logic Fragments: Coordinating Entities with Logic Programs

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： De Angelis, Francesco Luca Serugendo, Giovanna Di Marzo Univ Geneva Inst Informat Serv Sci Geneva Switzerland

ISBN: (纸本)9783319471662;9783319471655

Rigorous engineering of self-organising and self-adaptive systems is a challenging activity. Interactions with humans and unexpected entities, dependence on contextual information for self-organisation and adaptation represent just some of the factors complicating the coordination process among multiple entities of the system. Recently we proposed a coordination model based on logic inference named logic Fragments Coordination Model. logic Fragments are combinations of logic programs defining interactions among agents distributed over the nodes of the system. they are able to accommodate various types of logics, ranging from classical up to many-valued paraconsistent ones. the logical formalisation makes it possible to express coordination in a rigorous and predicle way, both at design-time and run-time. In this paper we define, under the form of an evaluation algorithm, the semantics of logic Fragments;introducing logical predicates used to manage and reason on local and remote information. By associating specific semantics to the symbols inferred during the evaluation of logic programs it is possible to make logical inference effects unambiguous on the system;such an approach turns logic Fragments into a coordination-oriented logic-based programming model. We conclude the paper discussing three examples showing the use of logic Fragments to implement on-the-fly ad-hoc coordination mechanisms, as well as design-time and run-time verification of spatial properties.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

RERS 2016: Parallel and Sequential Benchmarks with Focus on ...

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Geske, Maren Jasper, Marc Steffen, Bernhard Howar, Falk Schordan, Markus van de Pol, Jaco TU Dortmund Univ Programming Syst D-44227 Dortmund Germany Lawrence Livermore Natl Lab Livermore CA 94551 USA Tech Univ Clausthal Clausthal Zellerfeld Germany Univ Twente Formal Methods & Tools Enschede Netherlands

ISBN: (纸本)9783319471693;9783319471686

the 5th challenge of Rigorous Examination of Reactive Systems (RERS 2016) once again provided generated and tailored benchmarks suited for comparing the effectiveness of automatic software verifiers. RERS is the only software verification challenge that features problems with linear temporal logic (LTL) properties in larger sizes that are available in different programming languages. this paper describes the revised rules and the refined profile of the challenge, which lowers the entry hurdle for new participants. the challenge format with its three tracks, their benchmarks, and the related LTL and reachability properties are explained. Special emphasis is put on changes that were implemented in RERS - compared to former RERS challenges. the competition comprised 18 sequential and 20 parallel benchmarks. the 20 benchmarks from the new parallel track feature LTL properties and a compact representation as labeled transition systems and Promela code.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Compliance, functional Safety and Fault Detection by Formal Methods

Compliance, Functional Safety and Fault Detection by Formal ...

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Fetzer, Christof Weidenbach, Christoph Wischnewski, Patrick Tech Univ Dresden Dresden Germany Max Planck Inst Informat Saarbrucken Germany Logic4Business GmbH Saarbrucken Germany

ISBN: (纸本)9783319471693;9783319471686

With the increasing complexity of today's cars functional safety and compliance guarantees are more and more difficult to obtain. During the life time of a vehicle the detection of malfunctioning non-mechanical components requires meanwhile more attention than the maintenance of its mechanical counterparts. A full fledged formal verification of the overall car is not realistic and even hard to obtain for single non-trivial components such as assistant systems. Furthermore, it does not support fault detection at run time. We suggest an approach towards formal safety, compliance and fault detection at run time via an auditor. the auditor is automatically fed out of the engineering and production process by a suitable abstract specification and respective model of the car and can detect then detect violations and faulty components.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Synthesis from a Practical Perspective 7th

Synthesis from a Practical Perspective

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Joerges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Naujokat, Stefan Steffen, Bernhard TU Dortmund Univ Chair Programming Syst Dortmund Germany Univ Limerick Lero Irish Software Res Ctr Limerick Ireland Univ Limerick Chair Software Syst Limerick Ireland

ISBN: (纸本)9783319471662;9783319471655

Based on a very liberal understanding of synthesis as a generic term for techniques that generate programming artifacts from higher-level specifications, the paper discusses several corresponding facets from a practical perspective. the synthesis examples we consider comprise variations of code generation, model synthesis from temporal logic descriptions, and metamodel-based tool generation. Although very different, they can all be regarded as means to "factor out" predefined aspects of the envisioned product or the production environment so that developers/designers can simply focus on the remaining issues. this "factoring out" of what is pre-agreed or predefined is a primary goal of domain-specific languages design, and it is applicable to both modeling and programming languages. Leading synthesis techniques elegantly achieve this factoring by combining forms of substitution/partial evaluation to those steps that can be determined locally, as is typically the case for most parts of code generation, with (heuristic) search for those parts where more global patterns need to be matched, as is the case, e.g., for temporal-logic synthesis. the paper presents our experience with a variety of synthesis approaches and corresponding design and synthesis tools. It also discusses the synergetic potential of their combination, e.g., to control the computational complexity by reducing the underlying search space. this is, in our opinion, a viable path to achieve a fundamentally higher simplicity in IT system design.

关键词： Code generation Linear-time synthesis Metamodeling Domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

Design and Optimization of Digital Circuits by Artificial Evolution Using Hybrid Multi Chromosome Cartesian Genetic programming 12th

Design and Optimization of Digital Circuits by Artificial Ev...

引用

12th international symposium on Applied Reconfigurable Computing

作者： Coimbra, Vitor Lamar, Marcus Vinicius Univ Brasilia Dept Comp Sci BR-70910900 Brasilia DF Brazil

ISBN: (纸本)9783319304816;9783319304809

Traditional digital circuit design techniques are based, for the most part, on top-down methods, which use a set of rules and restrictions to assist the construction of the project. Genetic algorithms, on the other hand, haven proven themselves to be a very useful tool for solving high complexity problems, relying on a bottom-up methodology. this paper proposes a new design algorithm, named HMC-CGP, which operates by first finding a functional solution by using the MC-CGP method. then, optimizes it by using standard CGP approach. Test circuits used include 1 and 2 bit full adders, 2 bit multiplier and 7 segment hexadecimal decoder. Obtained results show that by making use of faster convergence granted by the MC-CGP mechanism together with an optimization strategy generates novel approaches for those circuits, with results showing a logic gate and transistor usage reduction of up to 60.8 %.

关键词： Genetic algorithm Evolving hardware Digital circuit CGP

来源：评论

学校读者我要写书评

暂无评论

ALEX: Mixed-Mode Learning of Web Applications at Ease

ALEX: Mixed-Mode Learning of Web Applications at Ease

引用

7th international symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Bainczyk, Alexander Schieweck, Alexander Isberner, Malte Margaria, Tiziana Neubauer, Johannes Steffen, Bernhard TU Dortmund Univ Chair Programming Syst Dortmund Germany Univ Limerick Lero Irish Software Res Ctr Limerick Ireland

ISBN: (纸本)9783319471693;9783319471686

In this paper, we present ALEX, a web application that enables non-programmers to fully automatically infer models of web applications via active automata learning. It guides the user in setting up dedicated learning scenarios, and invites her to experiment with the available options in order to infer models at adequate levels of abstraction. In the course of this process, characteristics that go beyond a mere "site map" can be revealed, such as hidden states that are often either specifically designed or indicate errors in the application logic. Characteristic for ALEX is its support for mixed-mode learning: REST and web services can be executed simultaneously in one learning experiment, which is ideal when trying to compare back-end and front-end functionality of a web application. ALEX has been evaluated in a comparative study with 140 undergraduate students, which impressively highlighted its potential to make formal methods like active automata learning more accessible to a non-expert crowd.

关键词： Active automata learning Mixed-mode learning Specification mining Web services Web applications

来源：评论

学校读者我要写书评

暂无评论

Metric for security activities assisted by argumentative logic

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 8872卷 183-197页

作者： Bouyahia, Tarek Idrees, Muhammad Sabir Cuppens-Boulahia, Nora Cuppens, Frédéric Autrel, Fabien Telecom Bretagne 2 Rue de la Châtaigneraie Cesson Sévigné France

ISBN: (纸本)9783319170152

Recent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. this paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies. © Springer international Publishing Switzerland 2015.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Power Management in Cluster-Based Energy-Harvesting Sensor Networks through Dynamic Modulation Scaling 17

Power Management in Cluster-Based Energy-Harvesting Sensor N...

引用

2015 IEEE 17th international Conference on High Performance Computing and Communications (HPCC)

作者： Bandari, Maryam Simon, Robert Aydin, Hakan George Mason Univ Dept Comp Sci Fairfax VA 22030 USA

ISBN: (纸本)9781479989379

this paper considers real-time cluster-based wireless sensor networks where the nodes harvest energy from the environment. We target performance sensitive applications that have to collectively send their information to cluster head by a predefined deadline, such as in distributed real-time monitoring and detection. the nodes are equipped with Dynamic Modulation Scaling (DMS) capable wireless radios. the problem is to determine the time slots and modulation levels that will be used by each node while communicating with the cluster-head in order to achieve energy-neutral (perpetual) operation and maximize energy reserves. We propose a solution that adjusts underlying TDMA slots to enable high-energy nodes to transmit faster and thus produce larger slack for low-energy nodes, while meeting the performance constraint. We present an optimal mixed integer programming based solution. We also develop fast heuristics that are shown to provide approximate solutions through comprehensive experiments with actual solar energy harvesting profiles.

关键词： energy harvesting integer programming modulation pattern clustering telecommunication power management wireless sensor networks DMS TDMA cluster-based energy-harvesting wireless sensor network dynamic modulation scaling energy-neutral operation optimal mixed integer programming power management solar energy harvesting profile wireless radio Batteries Energy harvesting logic gates Modulation Real-time systems Wireless communication Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：