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

International Conference on Electrical Engineering and Informatics, ICEEI

作者： Nor Haimimy Rawi Abu Bakar Marini Rokiah Bahari Abdullah Mohd Zin Programming and Software Technology Research Group Fakulti Teknologi dan Sains Maklumat Universiti Kebangsaan Malaysia Universiti Kebangsaan Malaysia Bangi Selangor MY

E-commerce is a process of buying, selling, transferring or exchanging products or services via the Internet. It is expected that in the future, more and more business transactions will be carried out through e-commerce. The design of an e-commerce website plays a significant role in attracting potential customers to visit the site. It can also influence customer's decision to make purchase and to return to the site. Good e-commerce applications need to be developed by professional programmers and the cost is substantially high. With the advent of Web 2.0 technology, end-users are now able to create their own web content and applications such as blog, facebook and friendster. Some providers such as Google provide a mechanism for end-users to create web sites and host e-commerce applications. However, using these technologies, users can only select and customize the application according to provide templates. One of the main problems with this approach is that they do not support a flexible layout design. This implies that an end-user cannot change the layout of a selected template. This paper presents a flexible and easy to use block-based development environment for creating customized e-commerce applications. A block is a single layer software component that performs a single function. Concurrent project has developed blocks for e-commerce application. The proposed development environment is intended for non-programmer end-users to design and develop their own e-Commerce applications by selecting and positioning blocks on a page.

关键词： Layout Business Blogs Electronic commerce programming software Facebook

来源：评论

学校读者我要写书评

暂无评论

IT Simply Works: Simplicity and Embedded Systems Design

IT Simply Works: Simplicity and Embedded Systems Design

引用

IEEE Annual Computer software and Applications Conference Workshops (COMPSACW)

作者： Tiziana Margaria Barry D. Floyd Bernhard Steffen Chair Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA USA Chair of Programming Systems TU Dortmund University Germany

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study.

关键词： Mathematical model Embedded systems Unified modeling language Complexity theory Testing Educational institutions

来源：评论

学校读者我要写书评

暂无评论

A Formal Framework for Compositional Verification of Organic Computing Systems

A Formal Framework for Compositional Verification of Organic...

引用

7th International Conference on Autonomic and Trusted Computing

作者： Nafz, Florian Seebach, Hella Steghoefer, Jan-Philipp Baeumler, Simon Reif, Wolfgang Univ Augsburg Dept Software Engn & Programming Languages D-86135 Augsburg Germany

ISBN: (纸本)9783642165757

Because of their self-x properties Organic Computing systems are hard to verify. Nevertheless in safety critical domains one may want to give behavioral guarantees. One technique to reduce complexity of the overall verification task is applying composition theorem. In this paper we present a technique for formal specification and compositional verification of Organic Computing systems. Separation of self-x and functional behavior has amongst others, advantages for the formal specification. We present how the specification of self-x behavior can be integrated into an approach for compositional verification of concurrent systems, based on Interval Temporal Logic. The presented approach has full tool support with the KIV interactive theorem prover.

关键词： Organic Computing Formal Methods Compositional Reasoning

来源：评论

学校读者我要写书评

暂无评论

Designing Self-healing in Automotive Systems

Designing Self-healing in Automotive Systems

引用

7th International Conference on Autonomic and Trusted Computing

作者： Seebach, Hella Nafz, Florian Holtmann, Joerg Meyer, Jan Tichy, Matthias Reif, Wolfgang Schaefer, Wilhelm Univ Augsburg Dept Software Engn & Programming Languages D-86135 Augsburg Germany Univ Paderborn Software Engn Grp Paderborn Germany

ISBN: (纸本)9783642165757

Self-healing promises to improve the dependability of systems. In particular safety-critical systems like automotive systems are well suited application, since safe operation is required in these systems even in case of failures. Prerequisite for the improved dependability is the correct realization of the self-healing techniques. Consequently, self-healing activities should be rigorously specified and appropriately integrated with the rest of the system. In this paper, we present an approach for designing self-healing mechanisms in automotive systems. The approach contains a construction model which consist of a structural description as well as an extensive set of constraints. The constraints specify a correct system structure and are also used in the self-healing activities. We exemplify the self-healing approach using the adaptive cruise control system of modern cars.

关键词： Organic Computing Automotive Systems Self-Organization

来源：评论

学校读者我要写书评

暂无评论

Evolution support in heterogeneous service-oriented landscapes

引用

Journal of the Brazilian Computer Society 2010年第1期16卷 35-47页

作者： Margaria, Tiziana Steffen, Bernhard Kubczak, Christian Chair of Service and Software Engineering Universität Potsdam 14482 Potsdam Germany Chair of Programming System TU Dortmund 44227 Dortmund Germany

We present an approach that provides automatic or semi-automatic support for evolution and change management in heterogeneous legacy landscapes where (1) legacy heterogeneous, possibly distributed platforms are integrated in a service oriented fashion, (2) the coordination of functionality is provided at the service level, through orchestration, (3) compliance and correctness are provided through policies and business rules, (4) evolution and correctness-by-design are supported by the eXtreme Model Driven Development paradigm (XMDD) offered by the jABC (Margaria and Steffen in Annu. Rev. Commun. 57, 2004)-the model-driven service oriented development platform we use here for integration, design, evolution, and governance. The artifacts are here semantically enriched, so that automatic synthesis plugins can field the vision of Enterprise Physics: knowledge driven business process development for the end user. We demonstrate this vision along a concrete case study that became over the past three years a benchmark for Semantic Web Service discovery and mediation. We enhance the Mediation Scenario of the Semantic Web Service Challenge along the 2 central evolution paradigms that occur in practice: (a) Platform migration: platform substitution of a legacy system by an ERP system and (b) Backend extension: extension of the legacy Customer Relationship Management (CRM) and Order Management System (OMS) backends via an additional ERP layer. © 2010 The Brazilian Computer Society.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Boolean differential calculus

Boolean differential calculus

引用

作者： Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany

ISBN: (纸本)9781608451821

Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between certain pairs of function values as well as regarding whole subspaces. Due to the same basic data structures, BDC can be applied to any task described by logic functions and equations together with the Boolean *** used is BDC in analysis, synthesis, and testing of digital circuits. In this chapter, we introduce basic definitions of BDC together with some typical applications.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

Synthesis-Based Loose programming

Synthesis-Based Loose Programming

引用

7th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Tech Univ Dortmund Chair Programming Syst D-44227 Dortmund Germany Univ Potsdam Chair Serv & Software Engn D-14882 Potsdam Germany

ISBN: (纸本)9780769542416

In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specification, a graphical formalism that allows developers to express their processes just by sketching them as kinds of flow graphs without caring about types, precise knowledge about the available process components or the availability of resources. They only have to specify the rough process flow graphically in terms of ontologically defined 'semantic' entities. These loose specifications are then concretized to fully executable process code automatically by means of a combination of 1) data-flow analysis, ensuring the availability of the required resources, 2) temporal logic-based process synthesis, resolving type conflicts and taking care of correct component instantiation, and 3) model checking, to ensure global intents and invariants expressed in temporal logic.

关键词： application-specific processes data flow analysis data flow analysis data-flow analysis flow graphs graphical formalism intuitive style loose specification loose specification model checking process developers software engineering synthesis synthesis based loose programming temporal logic-based process synthesis

来源：评论

学校读者我要写书评

暂无评论

Preface: Commercial software for multicore systems

引用

IBM JOURNAL OF RESEARCH AND DEVELOPMENT 2010年第5期54卷 1-3 <BR>Cited by: 7页

作者： Blainey, Bob Franke, Hubertus Hind, Michael IBM Software Grp Armonk NY 10504 USA IBM Corp TJ Watson Res Ctr Programming Technol Dept Hawthorne NY USA IBM Corp TJ Watson Res Ctr Enterprise Linux Grp Hawthorne NY USA

An introduction is presented in which the editor discusses various reports within the issue on topics including multicore system in a Java virtual machine (JVM), a Java enterprise application and detection of deadlock... 详细信息

关键词： Multi-core processors Commercial software

来源：评论

学校读者我要写书评

暂无评论

Constraint-guided workflow composition based on the EDAM ontology

Constraint-guided workflow composition based on the EDAM ont...

引用

Workshop on Semantic Web Applications and Tools for Life Sciences 2010, SWAT4LS 2010

作者： Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Department of Programming Systems Technical University Dortmund Dortmund D-44227 Germany Department of Service and Software Engineering University Potsdam Potsdam D-14482 Germany

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the workflow development process.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Virtual machine support for many-core architectures: Decoupling abstract from concrete concurrency models 2

Virtual machine support for many-core architectures: Decoupl...

引用

2nd International Workshop on programming Language Approaches to Concurrency and Communication-cEntric software, PLACES 2009

作者： Marr, Stefan Haupt, Michael Timbermont, Stijn Adams, Bram D'Hondt, Theo Costanza, Pascal De Meuter, Wolfgang Programming Technology Lab Vrije Universiteit Brussel Belgium Hasso Plattner Institute University of Potsdam Germany Software Analysis and Intelligence Lab Queen's University Canada

The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of tradeoffs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research. © Marr, Haupt, Timbermont, Adams, D'Hondt, Costanza, and De Meuter.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：