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

International Conference on Multimedia Computing and Systems

作者： Keramane, C Duda, A IMAG LAB GRENOBLE LSRF-38041 GRENOBLE 9FRANCE

We propose a new model for structured temporal composition of interactive dynamic multimedia presentations. It extends the notion of basic media segments to include executable code, live feeds, and links. The model is... 详细信息

ISBN: (纸本)0818674369

关键词： MULTI-MEDIA SYSTEM FUNCTIONAL MODELS Interactive executable code live feed

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive Documentation-Driven Integration Testing 8

Non-Intrusive Documentation-Driven Integration Testing

引用

8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

作者： Haeser, Florian Breu, Ruth Univ Innsbruck Inst Comp Sci Qual Engn A-6020 Innsbruck Austria

ISBN: (纸本)9781479971251

Powerful development frameworks and adoption of agile development methods are continuously increasing release frequency, thus compress test cycles. Test automation, often relying on model based approaches, helps to reduce test time, however the introduction of related heavy weight processes is often quite challenging. In order to tackle this problem, we propose a bottom up testing approach, which in a nutshell, in the initial phase supports the integration tester in creating a semi-formal test case description and report. The approach, a textual domain specific framework, will guide the test expert in evolving the base language, in order to be tailored for a domain language of an organization. The evolved language can be linked to executable code, which enables in the long run (semi) automated model based regression testing.

关键词： executable code regression testing TESTING TIME initial phase Language DNA Integration integration Automatic testing bottom-up Frameworks content-based image retrieval VDM(Vienna Development Method) ecosystem-based approach program development method Art Therapy

来源：评论

学校读者我要写书评

暂无评论

A Stack Memory Abstraction and Symbolic Analysis Framework for executables

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2016年第2期25卷 19-19页

作者： Anand, Kapil Elwazeer, Khaled Kotha, Aparna Smithson, Matthew Barua, Rajeev Keromytis, Angelos Univ Maryland Dept Elect & Comp Engn College Pk MD USA Columbia Univ Dept Comp Sci New York NY 10027 USA

This article makes three contributions regarding reverse-engineering of executables. First, techniques are presented for recovering a precise and correct stack-memory model in executables while addressing executable-specific challenges such as indirect control transfers. Next, the enhanced memory model is employed to define a novel symbolic analysis framework for executables that can perform the same types of program analyses as source-level tools. Third, a demand-driven framework is presented to enhance the scalability of the symbolic analysis framework. Existing symbolic analysis frameworks for executables fail to simultaneously maintain the properties of correct representation, a precise stack-memory model, and scalability. Furthermore, they ignore memory-allocated variables when defining symbolic analysis mechanisms. Our methods do not use symbolic, relocation or debug information, which are usually absent in deployed binaries. We describe our framework, highlighting the novel intellectual contributions of our approach and demonstrating its efficacy and robustness. Our techniques improve the precision of existing stack-memory models by 25%, enhance scalability of our basic symbolic analysis mechanism by 10x, and successfully uncovers five previously undiscovered information-flow vulnerabilities in several widely used programs.

关键词： executable code program analysis information-flow security

来源：评论

学校读者我要写书评

暂无评论

Automating Uncompressing and Static Analysis of Conficker Worm

Automating Uncompressing and Static Analysis of Conficker Wo...

引用

IEEE Malaysia International Conference on Communications

作者： Lee Ling Chuan Chan Lee Yee Mahamod Ismail Kasmiran Jumari Faculty of Engineering & Built Environment Universiti Kebangsaan Malaysia

ISBN: (纸本)9781424455317;9781424455324

The infamous computer worm, Conficker, which targeting the Microsoft Windows operating system, was literally over the media. This malicious worm used modern malware technique, where it hide its malicious portion of the program code with a runtime generation and execution of program code and transforming it back into executable code at run time. This obfuscation technique poses obstacles to security researcher who want to understand the malicious features of new or unknown malware especially for those who want to create program of detection and methods of recovery. Our approach is based on observation that sequences of packed or hidden code in two different version of Conficker worm. Self-identifying when its runtime execution is checked against its static code mode and an automating uncompressing code is executed to unpack the packer. Following the extraction of the malicious worm, we focus our analysis on the features of Conficker worm.

关键词： Computer security Debugging Reverse engineering Malware Packing and unpacking Spyware Computer Security Debugging program code Reverse engineering worm Vermes Microsoft Windows(software) Runtime Automation executable code Packers Legal Executions

来源：评论

学校读者我要写书评

暂无评论

Automatic Derivation of Statistical Algorithms: The EM Family and Beyond 02

Automatic Derivation of Statistical Algorithms: The EM Famil...

引用

Annual Conference on Neural Information Processing Systems

作者： Alexander G. Gray Bernd Fischer Johann Schumann Wray Buntine Carnegie Mellon University

ISBN: (纸本)0262025507

Machine learning has reached a point where many probabilistic methods can be understood as variations, extensions and combinations of a much smaller set of abstract themes, e.g., as different instances of the EM algorithm. This enables the systematic derivation of algorithms customized for different models. Here, we describe the AUTOBAYES system which takes a high-level statistical model specification, uses powerful symbolic techniques based on schema-based program synthesis and computer algebra to derive an efficient specialized algorithm for learning that model, and generates executable code implementing that algorithm. This capability is far beyond that of code collections such as Matlab toolboxes or even tools for model-independent optimization such as BUGS for Gibbs sampling: complex new algorithms can be generated without new programming, algorithms can be highly specialized and tightly crafted for the exact structure of the model and data, and efficient and commented code can be generated for different languages or systems. We present automatically-derived algorithms ranging from closed-form solutions of Bayesian textbook problems to recently-proposed EM algorithms for clustering, regression, and a multinomial form of PCA.

关键词： algorithms expectation-maximisation algorithm Model structures Bugs executable code Symbolic algebra derivation

来源：评论

学校读者我要写书评

暂无评论

P: Safe Asynchronous Event-Driven Programming 13

P: Safe Asynchronous Event-Driven Programming

引用

ACM SIGPLAN Conference on Programming Language Design and Implementation

作者： Ankush Desai Vivek Gupta Ethan Jackson Shaz Qadeer Sriram Rajamani Damien Zufferey Microsoft IST Austria

ISBN: (纸本)9781450320146

We describe the design and implementation of P, a domain-specific language to write asynchronous event driven code. P allows the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling and programming into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be tested using model checking techniques. P allows the programmer to specify the environment, used to "close" the system during testing, as nondeterministic ghost machines. Ghost machines are erased during compilation to executable code; a type system ensures that the erasure is semantics preserving. The P language is designed so that a P program can be checked for responsiveness-the ability to handle every event in a timely manner. By default, a machine needs to handle every event that arrives in every state. But handling every event in every state is impractical. The language provides a notion of deferred events where the programmer can annotate when she wants to delay processing an event. The default safety checker looks for presence of unhandled events. The language also provides default liveness checks that an event cannot be potentially deferred forever. P was used to implement and verify the core of the USB device driver stack that ships with Microsoft Windows 8. The resulting driver is more reliable and performs better than its prior incarnation (which did not use P); we have more confidence in the robustness of its design due to the language abstractions and verification provided by P.

关键词： Domain-specific language Device driver Event-driven programming State machine Verification Systematic testing state machines Computer personnel event-driven programming Verification device drivers Phosphorus executable code Device Programmer Component application-specific language Language Microsoft Windows(software)

来源：评论

学校读者我要写书评

暂无评论

Model driven development with mechatronic UML

Model driven development with mechatronic UML

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Wilhelm Schafer Software Engineering Group Department of Computer Science University of Paderborn Paderborn Germany

ISBN: (纸本)9781424425280

We address these challenges by the model-driven mechatronic UML development approach which combines domain specific modeling and refinement techniques with verification based on compositional model checking. The approach suggests modeling the software by using a refined UML 2.0 component model including the detailed definition of ports, connectors, and patterns. We further refine the component model to define a proper integration between discrete and continuous control such that the reconfiguration of hierarchical component systems can be described in a modular way. Compositional model checking is based on a domain specific decomposition of the system specification into individually checkable components based on a common pre-defined architectural model. As a basis for formal verification, a formal semantic definition of the concepts taken from UML 2.0 is given. For the scope of this presentation, this is particularly done for our notion of so-called real-time statecharts. Besides supporting compositional verification, the approach supports checking consistency between different parts of a systems specification by a syntax check. This check is based on giving a formal definition of consistency.

关键词： computer software visual languages Microelectromechanical devices Control Theory UML Automobile driving Software design executable code software quality Domains domains Phyla AUTOMATIC

来源：评论

学校读者我要写书评

暂无评论

Translating Refined Logic Programs to Mercury 02

Translating Refined Logic Programs to Mercury

引用

Australasian Computer Science Conference

作者： R. Colvin I. Hayes D. Hemer P. Stroopert Software Verification Research Centre University of Queensland

ISBN: (纸本)0909925828

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we investigate the use of Mercury as the target implementation language for a refinement calculus for logic programs. We describe a prototype tool for translating programs in our specification language to Mercury code. More generally, we investigate the advantages that Mercury has over standard Prolog, with respect to developing correct programs from specifications.

关键词： logic programming refinement mercury code generation Logic programming refinement calculus code generation Specifications Refining executable code codes

来源：评论

学校读者我要写书评

暂无评论

Brian 2: neural simulations on a variety of computational hardware

引用

BMC Neuroscience 2014年第1期15卷 1-1页

作者： Dan FM Goodman Marcel Stimberg Pierre Yger Romain Brette Department of Otology and Laryngology Harvard Medical School Boston MA 02114 USA Eaton-Peabody Laboratories Massachusetts Eye and Ear Infirmary Boston MA 02114 USA Institut d’Etudes de la Cognition Ecole Normale Supérieure Paris France Sorbonne Universités UPMC Univ. Paris 06 UMR_S 968 Institut de la Vision Paris F-75012 France INSERM U968 Paris F-75012 France CNRS UMR_7210 Paris F-75012 France

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：