Large-scale scientific research often relies on the collaborative use of Grid and e-science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is ...
详细信息
Large-scale scientific research often relies on the collaborative use of Grid and e-science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is to facilitate the routine interaction of scientists and their workflows with advanced problem solving tools and computational resources. While many production Grid projects and e-science infrastructures have begun to offer services for the usage of resources to end-users during the past several years, the corresponding emerging standards defined by GGF and OASIS still appear to be in flux. In this paper, we present the GridBean technology that bridges the gap between the constantly changing basic Grid or e-science infrastructures and the need of stable application development environments for the Grid users.
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and can be synthesized into hardware and s...
详细信息
The concurrent synchronous language Esterel allows programmers to treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-synchronous high-level language...
详细信息
ISBN:
(纸本)159593149X
The concurrent synchronous language Esterel allows programmers to treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-synchronous high-level languages, such as VHDL or C, and then compiled further into hardware or software. Another approach that has been proposed recently is the direct execution of Esterel-like instructions with a customized processor, which promises the flexibility of a software solution with an efficiency close to a hardware implementation. However, the instruction sets and implementations of the processor architectures proposed so far still have some limitations regarding their completeness, efficiency, and adherence to the original Esterel semantics. This paper presents a novel reactive processor architecture, the Kiel Esterel Processor, which addresses these shortcomings. In particular, it provides a complete, semantically accurate implementation of the Esterel preemption primitives, most of which can be expressed directly with a single machine instruction. One advantage of the reactive processors - in addition to their high execution speed compared to traditional software implementations - is that control-flow is preserved while compiling Esterel into machine code, and that the execution platform has a very predictable timing behavior. This paper presents a precise and very efficient Worst Case Reaction Time (WCRT) analysis, which is geared towards the Kiel Esterel Processor, but which could be adapted to other reactive processors as well. Copyright 2005 ACM.
Discrete-event simulation of computer networks has significant scalability issues, which makes simulating large-scale networks problematic. We propose a high-level abstraction modeling network domains, interdomain lin...
详细信息
Despite the fact that several integrated development methods for web information systems (WISs) have been proposed, quality assurance for such systems has hardly been addressed. In this paper some quality criteria are...
详细信息
ISBN:
(纸本)0769524729
Despite the fact that several integrated development methods for web information systems (WISs) have been proposed, quality assurance for such systems has hardly been addressed. In this paper some quality criteria are postulated and investigated by combining semi-formal and formal methods. On a high level of abstractions WISs can be described by abstract locations and transitions between them. These so-called story spaces can be formalised using Abstract State Machines (ASMs), which permit to verify, whether user-tailored versions are compatible with user preferences. Furthermore, ASMs provide a framework for refinement, which permits the integration of story spaces with extended views on databases. This leads to further proof obligations for consistency that can be formalised in the logic associated with ASMs.
Media types are a core design construct in the co-design approach for web information systems (WISs). They provide abstract means for describing content, functionality, context and adaptivity to user preferences and i...
详细信息
View integration aims at replacing a set of existing views by a single new one in such a way that with respect to information capacity the new view dominates or is equivalent to the old ones. Therefore, in this articl...
详细信息
The present contribution deals with domination in the framework of continuous t-norms. Basic properties and recent results for continuous Archimedean and continuous ordinal sum t-norms are presented and discussed. The...
详细信息
ISBN:
(纸本)8476538723
The present contribution deals with domination in the framework of continuous t-norms. Basic properties and recent results for continuous Archimedean and continuous ordinal sum t-norms are presented and discussed. The domination property within several families of t-norms is mentioned.
For Web-based e-learning systems personalisation, i.e. the self-adaptation of a system to the preferences and goals of the learners is a highly desirable feature. In this article we start from learner profiles to mode...
详细信息
For Web-based e-learning systems personalisation, i.e. the self-adaptation of a system to the preferences and goals of the learners is a highly desirable feature. In this article we start from learner profiles to model preferences and goals. Furthermore, we refine course outlines that are first modelled by directed graphs by Kleene algebras with tests. Then we show how systems can be personalized to different learner profiles simply by reasoning with equations.
暂无评论