We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins, comprising extensible state components and extensible syntax that can be bound to tactical ML programs. Thus the Isabelle/Isar architecture may be understood as an extension and refinement of the traditional “LCF approach”, w...

The Mobile Virtual Network Operator (MVNO) business case described hereafter, is based on 3G business cases, particularly regarding the technical infrastructure, but the 2,5G underlying infrastructure as an initial step is also taken into account. Following the definition of appropriate service sets, and taking into account demand scenarios established within the project, this work has been foc...

This paper presents a summary of multifaceted evaluation factors that we have identified through our research with Broadband Visual Communication (BVC) projects involving multiple stakeholders. The main benefit of these evaluation factors is that they provide a general evaluation framework for multiple stakeholder projects. The factors are social infrastructure, technical infrastructure, physic...

Location aware services are becoming attractive with the deployment of next generation wireless networks and broadband multimedia wireless networks especially in indoor and campus areas. To provide location aware services, obtaining the position of a user accurately is important. While it is possible to deploy additional infrastructure for this purpose, using existing communications infrastruct...

As part of the D-Grid initiative the C3Grid project provides a service oriented Grid infrastructure to support workflow-based scientific applications for Earth System Science. In this paper, we review conceptual as well as technical details of the architecture and implementation concerning this infrastructure and focus especially on theGridmiddleware layer that dealswithworkflow scheduling and ...

RESEARCH ARTICLE Impact of Integrated Multimodal Traveler Information on Auto Commuter’s Mode Switching Propensity A.A. Memon, M. Meng, Y.D. Wong and S.H. Lam Technical Cooperation Program of EU for Road Sector Development Program of Ethiopia, SMEC International (Pty) Ltd., Ethiopian Roads Authority, Addis Ababa, Ethiopia TUM CREATE, 1 CREATE Way, #10-02 CREATE Tower, Singapore 138602, Singapor...

Purpose – In this study, linear assets performance are examined regarding analysis and presentation, considering both the technical asset and the user context, to simplify cognitive tasks of planning and decision-making. Design/methodology/approach – Linear, or continuous assets, such as roads, railways, electrical grids and pipelines, are large, geographically spread out technical systems. Lin...

ARIADNE is a European foundation that aims to foster “Share and Reuse” of learning resources. To support this goal, ARIADNE has created an infrastructure for managing learning objects in an open and scalable way. This paper describes the technical approach behind our open, standards based infrastructure, how content providers can connect to it, and the value they can derive from doing so. As su...

A single, unified, global whitepages directory service remains elusive. Nonetheless, there is increasing call for participation of widely-dispersed directory servers (i.e., across multiple organizations) in large-scale directory services. These services range from national whitepages services, to multi-national indexes of WWW resources, and beyond. Drawing from experiences with the TISDAG (Tech...