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

7th international conference on Computing and Convergence Technology (ICCCT)

作者： Tsai, Tse-Ming Chou, Shih-Chun Liu, Bo-Fu Lin, Jih-Yiing Lin, Yu-Ting Chou, Seng-Cho T. Inst Informat Ind Innovat DigiTech Enabled Applicat & Serv Inst Taipei Taiwan Natl Taiwan Univ Dept Informat Management Taipei Taiwan

ISBN: (纸本)9781467308946;9788994364261

the importance of mobile devices has attracted increasing attention among designers, traditional media publishers, ad agencies, and companies of all sizes to create, distribute, monetize, and optimize interactive content for ubiquitous mobile application. Nonetheless, creating a good mobile application providing rich interactive user experience is time consuming due to the design chaos, communication cost and mobile technical issues. In this paper, a generative design framework is proposed to streamline this design process. this framework comprising three tools, template extraction tool, design exploration tool and packaging tool, is capable of providing non-programming application publishers an easy environment to design their application at the abstract user interface level. Grounded on this study, efficient creation of mobile applications providing rich interactive user experience and ubiquitous delivery is possible.

关键词： digital publishing generative design mobile application page component

来源：评论

学校读者我要写书评

暂无评论

A Bi-Objective programming Model for Multimodal Transportation Routing Problem of Bulk Cargo Transportation 7

A Bi-Objective Programming Model for Multimodal Transportati...

引用

IEEE 7th international conference on Industrial engineering and Applications (ICIEA)

作者： Maneengam, Apichit King Mongkuts Univ Technol North Bangkok Dept Mech Engn Technol Coll Ind Technol Bangkok Thailand

ISBN: (纸本)9781728167855

In this paper, we propose a bi-objective programming model to select the optimal route for moving a consignment of goods between the anchorage area at the Gulf of thailand to factories throughout thailand using a multimodal transportation network and joint consideration of transportation mode selection. the bi-objective programming model is constructed with features based on two objective functions - minimizing transportation costs and minimizing CO2 emissions, subject to transportation jobs that should be completed before their respective due dates. the solutions are obtained by the epsilon-constraint method, after which a Pareto frontier will be plotted. the decision makers can make a decision tradeoff between the two objectives from that plot.

关键词： component multimodal transportation routing problem bi-objective programming model epsilon-constraint method

来源：评论

学校读者我要写书评

暂无评论

Model-Driven engineering and Run-Time Model-Usage in Service Robotics 11

Model-Driven Engineering and Run-Time Model-Usage in Service...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Steck, Andreas Lotz, Alex Schlegel, Christian Univ Appl Sci Ulm Dept Comp Sci Ulm Germany

ISBN: (纸本)9781450306898

the development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service robotic systems is to make the step from code-driven to model-driven engineering. In this work we propose to put models into the focus of the whole life-cycle of robotic systems covering design-time as well as run-time. We describe how to explicate parameters, properties and resource information in the models at design-time and how to take these information into account by the run-time system of the robot to support its decision making process. We underpin our work by an exhaustive real-world example which is completely developed with our tools.

关键词： component Based Software engineering Model-Driven engineering Run-Time Model Usage Service Robotics

来源：评论

学校读者我要写书评

暂无评论

Software extension and integration with type classes 06

Software extension and integration with type classes

引用

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Lämmel, Ralf Ostermann, Klaus Microsoft Corp. Data Programmability Team United States Darmstadt University of Technology Germany

ISBN: (纸本)1595932372

the abilities to extend a software module and to integrate a software module into an existing software system without changing existing source code are fundamental challenges in software engineering and programming-language design. We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell. A detailed comparison with related work shows that type classes provide a powerful framework in which solutions to known software extension and integration problems can be provided. We also pinpoint several limitations of type classes in this context. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Safe Composition of Non-Monotonic Features 09

Safe Composition of Non-Monotonic Features

引用

8th international conference on generative programming and component engineering

作者： Kuhlemann, Martin Batory, Don Kaestner, Christian Univ Magdeburg Fac Comp Sci D-39106 Magdeburg Germany Univ Texas Austin Dept Comp Sci Austin TX 78712 USA

ISBN: (纸本)9781605584942

Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to enable features to add and remove code, describe our analyses and implementation, and review case studies. We observe that more expressive features increase the complexity of developed programs rapidly - up to the point where tools and automated concepts as presented in this paper are indispensable for verification.

关键词： Verification design Feature-oriented programming safe composition refactoring AHEAD

来源：评论

学校读者我要写书评

暂无评论

A type system for reflective program generators 05

A type system for reflective program generators

引用

4th international conference on generative programming and component engineering

作者： Draheim, D Lutteroth, C Weber, G Free Univ Berlin Inst Comp Sci D-14195 Berlin Germany Univ Auckland Dept Comp Sci Auckland 1020 New Zealand

ISBN: (纸本)3540291385

In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks possible for which generic types alone would be insufficient. the power of code generation features are carefully balanced with their safety, so that we axe able to perform static type checks on generator code. this leads to a generalized notion of type safety for generators.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

GPCE'07 - Proceedings of the Sixth international conference on generative programming and component engineering

GPCE'07 - Proceedings of the Sixth International Conference ...

引用

GPCE'07 - 6th international conference on generative programming and component engineering

ISBN: (纸本)9781595938558

the proceedings contain 21 papers. the topics discussed include: generative metaprogramming;parsimony principles for software components and metalanguages;debugging macros;lightweight scalable components;constructing language processors with algebra combinators;aspects of availability;refactoring-based support for binary compatibility in evolving frameworks;Repleo: a syntax-safe template engine;preventing injection attacks with syntax embeddings;context-aware scanning for parsing extensible languages;library composition and adaptation using C++ concepts;challenges in generating QoS-constrained software implementations;and safe composition of product lines.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

A graphical programming system for molecular motif search 06

A graphical programming system for molecular motif search

引用

作者： Reeder, Janina Giegerich, Robert Bielefeld University D-33615 Bielefeld Germany Practical Computer Science Faculty of Technology Bielefeld University D-33615 Bielefeld Germany

ISBN: (纸本)1595932372

We describe a graphical programming system for a domain specific language in biosequence analysis. It supports the development of programs for RNA structure prediction and motif search, created by biologists with little or no programming skills. the system combines several programming paradigms in a productive way. It has a client - server architecture, with a transport layer in XML. the graphical front-end is implemented in the object-oriented paradigm (using Java). Graphics are compiled into a declarative domain-specific language for dynamic programming (ADP) that is embedded in Haskell. Finally, motif search programs expressed in ADP are compiled to imperative code in C, a step which includes substantial domain-specific optimization. Copyright © 2006 ACM.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

A multi-stage language with intensional analysis 06

A multi-stage language with intensional analysis

引用

作者： Viera, Marcos Pardo, Alberto Instituto de Computación Universidad de la República Montevideo Uruguay

ISBN: (纸本)1595932372

this paper presents the definition of a language with reflection primitives. the language is a homogeneous multi-stage language that provides the capacity of code analysis by the inclusion of a pattern matching mechanism that permits inspection of the structure of quoted expressions and their destruction into component subparts. Quoted expressions include an explicit annotation of their context which is used for dynamic inference of type, where a dynamic typing discipline based on Hinze and Cheney's approach is used for typing quoted *** paper follows the approach of Sheard and Pasalic about the use of the meta-language mega as a tool for language design. In this sense, it is shown how to represent the syntax, the static as well as the dynamic semantics of the proposed language in terms of mega constructs. Copyright © 2006 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Constructing language processors with algebra combinators

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 543-572页

作者： Frisby, Nicolas Kimmell, Garrin Weaver, Philip Alexander, Perry Univ Kansas Informat Technol & Telecommun Ctr Dept Elect Engn & Comp Sci Lawrence KS 66045 USA Signalicorp Portland OR 97212 USA

Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. the principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to create a complete language semantics. this has proved useful for constructing formal, yet executable, semantics when prototyping languages. In this work we demonstrate that MMS has an additional software engineering benefit. In addition to composing semantics for various language constructs, we can use MMS to compose various differing semantics for the same language constructs. this capability allows us to compose and reuse orthogonal language tasks such as type checking and compilation. We describe algebra combinators, the principal vehicle for achieving this reuse, along with a series of applications of the technique for common language processing tasks. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Generic programming Modular semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：