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

Simple and safe SQL queries with C plus plus templates

SCIENCE OF COMPUTER programming 2010年第7期75卷 573-595页

作者： Gil, Joseph (Yossi) Lenz, Keren Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

Most large software applications rely on an external relational database for storing and managing persistent data. Typically, such applications interact with the database by first constructing strings that represent SQL statements, and then submitting these for execution by the database engine. the fact that these statements are only checked for correctness at runtime is a source for many potential defects, including type and syntax errors and vulnerability to injection attacks. the ARARAT system presented here offers a method for dealing with these difficulties by coercing the host C++ compiler to do the necessary checks of the generated strings. A library of templates and preprocessor directives is used to embed in C++ a little language representing an augmented relational algebra formalism. Type checking of this embedded language, carried out by our template library, assures, at compile-time, the correctness and safety of the generated SQL strings. All SQL statements constructed by ARARAT are guaranteed to be syntactically correct, and type safe with respect to the database schema. Moreover, ARARAT statically ensures that the generated statements are immune to all injection attacks. the standard techniques of "expression templates" and "compile-time symbolic derivation" for compile-time representation of symbolic structures, are enhanced in our system. We demonstrate the support of a type system and a symbol table lookup of the symbolic structure. A key observation of this work is that type equivalence of instantiated nominally typed generics in C++ (as well as other languages, e.g., JAVA) is structural rather than nominal. this makes it possible to embed the structural type system, characteristic to persistent data management, in the nominal type system of C++. For some of its advanced features, ARARAT relies on two small extensions to the standard C++ language: the typeof pseudo operator and the _COUNTER_ preprocessor macro. (C) 2010 Elsevier B.V. All rights re

关键词： C plus Template programming Embedded languages Domain specific languages Databases Structural type equivalence Relational algebra

来源：评论

学校读者我要写书评

暂无评论

GPCE'10 - Proceedings of the 2010 conference on generative programming and component engineering: Foreword

GPCE'10 - Proceedings of the 2010 Conference on Generative P...

引用

GPCE'10 - Proceedings of the 2010 conference on generative programming and component engineering 2010年 iii页

作者： Visser, Eelco Järvi, Jaakko

来源：评论

学校读者我要写书评

暂无评论

A multidomain approach for automatic home environmental sound classification

A multidomain approach for automatic home environmental soun...

引用

作者： Ntalampiras, Stavros Potamitis, Ilyas Fakotakis, Nikos Department of Electrical and Computer Engineering University of Patras Rio Patras 26500 Greece Department of Music Technology and Acoustics Technological Educational Institute of Crete Rethymno 74100 Greece

this article presents a multidomain approach which addresses the problem of automatic home environmental sound recognition. the proposed system will be part of a human activity monitoring system which will be based on heterogeneous sensors. this work concerns the audio classification component and its primary role is to detect anomalous sound events. We compare the discriminative capabilities of three feature sets (MFCC, MPEG-7 low level descriptors and a novel set based on wavelet packets) with respect to the classification of ten sound classes. these are combined with state of the art generative techniques (GMM and HMM) for estimating the density function of each class. the highest average recognition rate is 95.7% and is achieved by the vector formed by all the feature sets juxtaposed. © 2010 ISCA.

关键词： Wavelet analysis

来源：评论

学校读者我要写书评

暂无评论

the Hitchhiker's Guide to Software Languages 10

The Hitchhiker's Guide to Software Languages

引用

international conference on generative programming and component engineering

作者： Ralf LaEmmel Universität Koblenz-Landau Koblenz Germany

ISBN: (纸本)9781450301541

there is only that much space in the CS curriculum, and there are always new subjects that should be accommodated by the curriculum. For instance, in our community, we would want all graduates to leave university with a modest background in technical spaces, software languages, and meta-programming;also, with conceptually informed and reasonably timeless skills to efficiently master related programming techniques and technologies. In reality, the curricula of few CS departments meet this expectation. In this talk, I will discuss such curricula-related expectations of our community and the suboptimal situation at CS departments-as I perceive them. More importantly, I will allude to a revision of the CS curriculum that could optimize matters and may stand a chance for mid-term adoption.

关键词： technical spaces software languages metaprogram-ming x/o/r mapping programming techniques programming technologies

来源：评论

学校读者我要写书评

暂无评论

Testing of component-Based Software: A Metamorphic Testing Methodology

Testing of Component-Based Software: A Metamorphic Testing M...

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

作者： Xiao-li Lu Yun-wei Dong Chao Luo College of Public administration Northwest University Xi'an China School of Computer Science Northwestern Polytechnical University Xi'an China

In the process of testing component-based software, Oracle problem comes into existence frequently because of the diversity of component running environment and complicated interactions among components. In this paper, we exploit the features of the component-based software and metamorphic testing (MT) to alleviate the issues. the metamorphic class will invoke relevant component to execute test cases and use their metamorphic relations to defect faults. Test cases for the unit test phase are proposed to generate follow-up test cases for the integration test phase. It has potentials to shift the testing effort from the construction of the integration test sets to the development of metamorphic relations.

关键词： Testing Exchange rates programming Software engineering conferences Embedded software

来源：评论

学校读者我要写书评

暂无评论

Quantitative analysis of two-dimensional catch-up saccades executed to the target jumps in the time-continuous trajectory

Quantitative analysis of two-dimensional catch-up saccades e...

引用

12th Mediterranean conference on Medical and Biological engineering and Computing, MEDICON 2010

作者： Laurutis, Vincas Zemblys, Raimondas Biomedical Engineering Centre Siauliai University Vilniaus st. 141 Šiauliai LT-76353 Lithuania

ISBN: (纸本)9783642130380

the purpose of this research was to investigate quantitatively the catch-up saccades occurring during smooth pursuit. In the first experiment, to evoke catch-up saccades we used high velocity predictable two-dimensional time-continuous target trajectories. In the second experiment, catch-up saccades were evoked using target jump paradigm during sustained two-dimensional pursuit. Target jumps in the different directions were presented at the unexpected moments and positions of the interrupted time-continuous target trajectory. From the experimental results we made a comparison of the main sequences (relationship between peak velocity and amplitude) of the catch-up and refixation saccades and found that they are different. Also we can conclude that the peak velocity of catch-up saccades is strongly correlated with the velocity of the smooth pursuit target component. We found that both position error and retinal slip are taken into account in catch-up saccades programming to predict the future trajectory of the moving target. Ill. 5, bibl. 5 (in English, summaries in English, Russian and Lithuanian). © 2010 international Federation for Medical and Biological engineering.

关键词： Eye movements

来源：评论

学校读者我要写书评

暂无评论

A Two Level Approach to the Design of Software for Cooperating Embedded Systems

A Two Level Approach to the Design of Software for Cooperati...

引用

7th IEEE international conference on Industrial Informatics

作者： Larsson, Tony Halmstad Univ Halmstad Sweden

ISBN: (纸本)9781424437597

this paper proposes an architecture concept to the design of software, for embedded systems and cooperating embedded systems, aimed to simplify not only design but also reuse and reconfigurability. the concept is targeted at software for recurring signal processing and control tasks common in industrial embedded supervision and control applications. An important part of the architecture concept is that the design work is partitioned and described at two major levels. the first level is focused on definition of data structures and reentrant data mapping functions to be supported by a restricted use of an existing programming language. the second level, i.e. the system level, focuses on structural and behavioral concerns including: component encapsulation, connection of actions and components via ports. this level, also handling delays, triggers and actors, is supported by a system modeling language. the thus partitioned approach makes the different design and engineering concerns well separated which simplifies both analysis and verification of functional and time behavioral correctness, compared to if they are mixed and intertwined into each other. Another gain with the proposed architecture concept is that the number of operating system (OS) threads and associated overhead needed to share the processor or a set of processors in a distributed or multi-core case is minimized.

关键词： Embedded systems embedded software industrial informatics component oriented design distribute real-time control systems software architecture modeling

来源：评论

学校读者我要写书评

暂无评论

A cross platform test management system for the SUDAAN statistical software package

A cross platform test management system for the SUDAAN stati...

引用

7th ACIS international conference on Software engineering Research, Management and Applications, SERA09

作者： Wang, Donghui Barnwell, Beth Witt, Michael B. RTI International P.O. Box 12194 Research Triangle Park NC 27709 United States

ISBN: (纸本)9780769539034

Testing software can be particularly challenging for a small or mid-size firm interested in commercially distributing their software to a wide variety of users. Testing is clearly an important part of any software development life cycle (SDLC) because it provides a method for the developers to verify and validate the software. However, testing can be expensive and time-consuming, and creating a testing strategy that ensures a software product is 100% bug-free is unrealistic and impossible. this paper discusses the methodologies used to address one component of software testing by a small group of developers (essentially equivalent to a small firm) responsible for programming and distributing the SUDAAN® Statistical Software product. In addition we discuss SUDAAN's bug management system. Specifically, this paper discusses issues related to testing and debugging software on multiple platforms and operating systems. © 2009 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Classifying java class transformations for pervasive virtualized access 09

Classifying java class transformations for pervasive virtual...

引用

8th international ACM SIGPLAN conference on generative programming and component engineering, GPCE'09

作者： McGachey, Phil Hosking, Antony L. Eliot, J. Moss, B. Department of Computer Science Purdue University West Lafayette IN United States Department of Computer Science Purdue University West Lafayette IN United States Department of Computer Science University of Massachusetts Amherst MA United States

ISBN: (纸本)9781605588629

the indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to fields and methods (by redirecting calls through accessor and indirection methods) allows interposition of arbitrary code, extending the functionality of an application beyond that intended by the original developer. We present class modifications performed by our RuggedJ transparent distribution platform for standard Java virtual machines. RuggedJ abstracts over the location of objects by implementing a single object model for local and remote objects. However the implementation of this model is complicated by the presence of native and system code;classes loaded by Java's bootstrap class loader can be rewritten only in a limited manner, and so cannot be modified to conform to RuggedJ's complex object model. We observe that system code comprises the majority of a given Java application: an average of 76% in the applications we study. We consider the constraints imposed upon pervasive class transformation within Java, and present a framework for systematically rewriting arbitrary applications. Our system accommodates all system classes, allowing both user and system classes alike to be referenced using a single object model. Copyright © 2009 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

MDAI: Model based design in automobile industry

MDAI: Model based design in automobile industry

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Joao Carlos Amaro Ferreira GuIAA-ISEL Lisboa Portugal

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. this approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

关键词： Automobiles Vehicles Packaging Design automation Unified modeling language Ergonomics Process design Automotive engineering Product development programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：