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 cont...
详细信息
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.
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 mult...
详细信息
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.
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-...
详细信息
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.
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-la...
详细信息
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 monotoni...
详细信息
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.
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 po...
详细信息
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 withtheir 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.
the proceedings contain 21 papers. the topics discussed include: generative metaprogramming;parsimony principles for software components and metalanguages;debugging macros;lightweight scalable components;constructing ...
详细信息
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.
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 litt...
详细信息
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 mechan...
详细信息
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 ca...
详细信息
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.
暂无评论