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

3rd International conference on Man-Machine Interactions, ICMMI 2013

ISBN: (纸本)9783319023083

The proceedings contain 88 papers. Invited papers. The special focus in this conference is on Human-computer interactions, Robot control, embedded and navigation systems, Bio-data analysis and mining, Biomedical signal processing, Image and sound processing, Rough and fuzzy systems, Pattern recognition, algorithms and optimization, Computer networks and mobile technologies and Data management systems. The topics include: Pattern recognition with non-euclidean similarities;Case-based reasoning and the statistical challenges II;Robust adaptive predictivemodeling and data deluge;A visual excursion into parallel coordinates (extended abstract);SOM based segmentation of visual stimuli in diagnosis and therapy of neuropsychological disorders;Independent interactive testing of interactive relational systems;Hypothesis-driven interactive classification based on AVO;Wrist localization in color images for hand gesture recognition;Bimodal speech recognition for robot applications;Developing and implementation of thewalking robot control system;programming of industrial object simulators in proficy HMI/SCADA iFIX system;KUKA robotmotion planning using the 1742 NI smart camera;Visual simultaneous localization and mapping with direct orientation change measurements;Managing system architecture for multi-rotor autonomous flying platform-practical aspects;Calculation of the location coordinates of an object observed by a camera;SMAC-GPS and radar data integration to set the status of the objects in secure areas;Comparison of connectionist and rough set based knowledge discovery methods in search for selection in genes implicated in human familial cancer;Bit-parallel algorithm for the block variant of the merged longest common subsequence problem and Improvement of FP-growth algorithm formining description-oriented rules.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fostering functional safety of real-time systems with concepts of object orientation

Fostering functional safety of real-time systems with concep...

引用

International conference on Methods and Models in Automation and Robotics (MMAR)

作者： Christina K. Houben Chair of Computer Engineering Fern Universität in Hagen Hagen Germany

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). Therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： Safety Runtime Software Prototypes Computer languages Concrete Real-time systems

来源：评论

学校读者我要写书评

暂无评论

8th International conference on System Analysis and Modeling: Models and Reusability, SAM 2014

8th International Conference on System Analysis and Modeling...

引用

8th International conference on System Analysis and Modeling: Models and Reusability, SAM 2014

ISBN: (纸本)9783319117423

The proceedings contain 21 papers. The special focus in this conference is on Availability, safety and optimization, Sequences and interactions, Testing, Metrics, constraints and repositories and SDL and V&V. The topics include: Toward a UCM-based approach for recovering system availability requirements from execution traces;architecture framework for software safety;search-based model optimization using model transformations;associativity between weak and strict sequencing;efficient representation of timed UML 2 interactions;integrating graph transformations and modal sequence diagrams for specifying structurally dynamic reactive systems;a systematic approach to automatically derive test cases from use cases specified in restricted natural languages;acceptance test optimization;verifying hypermedia applications by using an MDE approach;revisiting model-driven engineering for run-time verification of business processes;model-based testing: an approach with SDL/RTDS and DIVERSITY;on bringing object-oriented software metrics into the model based world - verifying ISO 26262 compliance in simulink;insights on the use of OCL in diverse industrial applications;model-based mining of source code repositories;towards an extensible modeling and validation framework for SDL-UML;SDL implementations for wireless sensor networks - incorporation of PragmaDev’s RTDS into the deterministic protocol stack BiPS and formal technical process specification and verification for automated production systems and prototyping SDL extensions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation

引用

ACM SIGPLAN NOTICES 2014年第10期49卷 33-47页

作者： Pradel, Michael Schuh, Parker Necula, George Sen, Koushik Univ Calif Berkeley Dept EECS Berkeley CA 94720 USA

Event-driven user interface applications typically have a single thread of execution that processes event handlers in response to input events triggered by the user, the network, or other applications. Programmers must ensure that event handlers terminate after a short amount of time because otherwise, the application may become unresponsive. This paper presents EventBreak, a performance-guided test generation technique to identify and analyze event handlers whose execution time may gradually increase while using the application. The key idea is to systematically search for pairs of events where triggering one event increases the execution time of the other event. For example, this situation may happen because one event accumulates data that is processed by the other event. We implement the approach for JavaScript-based web applications and apply it to three real-world applications. EventBreak discovers events with an execution time that gradually increases in an unbounded way, which makes the application unresponsive, and events that, if triggered repeatedly, reveal a severe scalability problem, which makes the application unusable. The approach reveals two known bugs and four previously unknown responsiveness problems. Furthermore, we show that EventBreak helps in testing that event handlers avoid such problems by bounding a handler's execution time.

关键词： Web applications Testing Test generation Responsiveness Performance

来源：评论

学校读者我要写书评

暂无评论

Should we beware the inheritance? An empirical study on the evolution of seven open source systems

Should we beware the inheritance? An empirical study on the ...

引用

International conference on Software Engineering and applications (ICSOFT-EA)

作者： Cristina Marinescu Mihai Codoban HPC Center West University of Timişoara Politehnica University Timişoara Romania EECS School at Oregon State University U.S.A.

One of the key mechanisms of object-oriented programming is inheritance. Some empirical studies show that classes inheriting behavior from more classes (i.e., ancestors) are more defect prone than the other classes. Since various collaborations are found among the instances of classes, classes are not isolated within the source code of object-oriented systems. In this paper, we investigate if classes using classes inheriting behaviour from other classes are more change and defect prone than the other classes. We analyze at least three releases of every system belonging to a suite of seven open source systems and investigate the relations between classes that use/do not use class hierarchies and study the change and defect proneness of those classes. The results frequently show that the clients of classes which inherit behaviour are more change and defect prone. These findings show a new type of correlation between the clients of class hierarchies and changes/defects, bringing evidence related to an increased likelihood of exhibiting changes and defects for the clients of class hierarchies. We believe that the inferred correlations are due to an improper usage of class hierarchies but further studies are needed for confirmation.

关键词： Correlation Measurement Data mining object oriented programming Software systems object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Design and compilation of an object-oriented macroprogramming language for wireless sensor networks

Design and compilation of an object-oriented macroprogrammin...

引用

IEEE conference on ALocal Computer Networks Workshops (LCN Workshops)

作者： Felix Jonathan Oppermann Kay Römer Luca Mottola Gian Pietro Picco Andrea Gaglione Graz University of Technology Austria SICS Swedish ICT Politecnico di Milano Italy University of Trento Italy Imperial College London UK

ISBN: (纸本)9781479937851

Wireless sensor network (WSN) programming is still largely performed by experts in a node-centric way using low-level languages such as C. Although numerous higher-level abstractions exist, each simplifying a specific aspect of distributed programming, real applications often require to combine multiple abstractions into a single program. Using current programming frameworks, this represents a difficult task. In previous work, we therefore defined a conceptual framework that facilitates abstraction composition by defining sound compositional rules among few fundamental abstraction categories. The framework is extensible: programmers can add new abstractions within the boundaries determined by the compositional rules. In this paper we describe the design of a language-called MPL-that instantiates this conceptual framework. To support the extensible nature of the framework, the language is object-oriented, which allows programmers to add new abstractions by inheriting from existing classes that implement predefined interfaces. We modeled the syntax after Java, to make it more palatable to inexperienced embedded programmers. Compared to Java, we modified the language to enable efficient execution on WSN devices. We designed and implemented a compiler that translates MPL language into executable C code, which spares the overhead of a virtual machine. By comparing MPL implementations against functionally-equivalent Contiki/C implementations of several benchmark applications, we determined that the performance overhead of MPL is limited, and yet the programming task is simplified.

关键词： Wireless sensor networks programming Java Peer-to-peer computing Resource management Instruction sets object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

A generic approach for runtime object creation and visualization

A generic approach for runtime object creation and visualiza...

引用

International conference on Contemporary Computing and Informatics (IC3I)

作者： Sanath S. Shenoy C R Vijeth CT DC -TEC Siemens Technologies and Services Limited Bangalore India CT DC AA H1-FH SH IP Siemens Technologies and Services Limited Bangalore India

Currently applications are being built using object oriented programming. A number of methods are used to retrieve data from objects. Technologies have also improved such that objects can be composed at runtime and used for further processing. In modern applications developed using object oriented languages such as Java, C++, C# etc, object composition and decomposition is done very frequently. This is because objects are created at runtime depending on configurable parameters or inputs from users. Most popular examples of object composition include class factories which use configuration to create different kinds of objects at runtime. A more complex example could include Generation of Mock objects using runtime object creation. The Mock objects are frequently used in Testing frameworks, however real objects are also created at runtime depending on the requirements of the application. In this paper we try to use a tree traversal algorithm and Runtime object creation technique to visualize them conveniently.

关键词： Data visualization Runtime Abstracts Java Arrays

来源：评论

学校读者我要写书评

暂无评论

Maintenance Patterns of Large-Scale PHP Web applications

Maintenance Patterns of Large-Scale PHP Web Applications

引用

International conference on Software Maintenance (ICSM)

作者： Panos Kyriakakis Alexander Chatzigeorgiou School of Science and Technology Hellenic Open University Patras Greece Department of Applied Informatics University of Macedonia Thessaloniki Greece

Scripting languages such as PHP have been criticized as inadequate for supporting maintenance of large-scale software projects. In this paper we attempt to provide insight into the way that five large and well-known PHP applications evolved over time. Several aspects of their history are examined including the amount of unused code, the removal of functions, the use of libraries, the stability of their interfaces, the migration to object-orientation and the evolution of complexity. The results suggest that these systems undergo systematic maintenance which is driven by targeted design decisions and evolution is by no means hindered by the underlying programming language.

关键词： Libraries Maintenance engineering Communities Java programming Software systems

来源：评论

学校读者我要写书评

暂无评论

Model driven software development: An overview

Model driven software development: An overview

引用

International conference on Computer and Information Sciences (ICCOINS)

作者： Muhammad Qaiser Saleem Jafreezal Jaafar Mohd Fadzil Hassan College of Computer Sciences and Information Technology Al Baha University A1 Baha Kingdom of Saudi Arabia Department of Computer and Information Sciences Universiti Teknologi PETRONAS Bandar Seri Iskandar Perak Darul Ridzuan Malaysia

The vision of the MDSD is an era of software engineering where modelling completely replaces programming i.e. the systems are entirely generated from high-level models, each one specifying a different view of the same system. The MDSD can be seen as the new generation of visual programming languages which provides methods and tools to streamline the process of software engineering. Productivity of the development process is significantly improved by the MDSD approach and it also increases the quality of the resulting software system. The MDSD is particularly suited for those software applications which require highly specialized technical knowledge due to the involvement of complex technologies and the large number of complex and unmanageable standards. In this paper, an overview of the MDSD is presented; the working styles and the main concepts are illustrated in detail.

关键词： Unified modeling language object oriented modeling Software Computer architecture Standards Computational modeling Software engineering

来源：评论

学校读者我要写书评

暂无评论

Efficient Caching and Incrementalization of object Queries on Collections in programming Codes

Efficient Caching and Incrementalization of Object Queries o...

引用

IEEE Annual International Computer Software and applications conference (COMPSAC)

作者： Venkata Krishna Suhas Nerella Sanjay Madria Thomas Weigert Missouri University of Science and Technology Rolla MO US Department of Computer Science Missouri University of Science and Technology Rolla USA

ISBN: (纸本)9781479935765

object oriented programming languages raised the level of abstraction by incorporating first class query constructs explicitly into program codes. These query constructs allow programmers to express operations over collections as object queries. They also provide optimal query execution, utilizing query optimization strategies from the database domain. However, when a query is repeated in the program, it is executed as a new query. Existing approaches, however, such as Java Query Language (JQL), which caches such query constructs on collections have high run time overhead. Therefore, this paper presents an approach to reduce the run time execution of programs involving explicit queries by caching the results of repeated queries while incrementally maintaining the cached results. We performed the pattern matching of both queries and updates at compile time. We propose several cache heuristics that determine not only which queries to cache but also when to stop the incremental maintenance of cached query results. We also propose a method for the incremental maintenance of cached results of queries by handling different types of update operations such as addition, removal of objects from the collections and field value modifications of the object states. We incorporated cache replacement policies that replace the queries from the cache when the cache size is full. Our experimental results demonstrate that our approaches of caching and incrementalization have reduced execution times for the programs with object queries on collections when compared with earlier approaches such as JQL.

关键词： Maintenance engineering Query processing Time-frequency analysis Java programming Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：