The Human Capital “Impact” on E-Business: The Case of Encyclopedia Britannica

[Excerpt] The term “New Economy” has been coined to describe the remarkable economic performance of the 1990s. Stiroh, (1999) an economist at the Federal Reserve Bank of New York observes that its defining characteristic is a “focus on increasing globalization and expanding information technology” (pg. 87). Research suggests that revenues from electronic based business to business trade will double over the next five years from $43 billion in 1998 to$1.3 trillion in 2003. Revenues from business to consumer trade are predicted to rise from $8 billion to$108 billion over the same time period (Forrester Research, 1998). However, there is increasing attention to the challenges facing business in the new economy, and an increasing chorus of analysts suggesting how tenuous many of these business models really are. A recent Barron’s article showed that many dot-com companies have only days of remaining cash (Willoughby, March 20, 1999). Such a key emerging phenomenon has not escaped the attention of writers, though the existing body of writing has some important gaps. We would classify existing e-business literature into two groups. First, there is a growing body of literature that discusses the how the Internet is transforming business models and organizational strategies. A second, much smaller body of work has focused on e-HR, or more specifically, the implications of the Internet on various HR practices

Intellectual Property Management Strategies to Accelerate the Development and Access of Vaccines and Diagnostics: Case Studies on Pandemic Influenza, Malaria and SARS

Achieving global access to vaccines, diagnostics, and pharmaceuticals remains a challenge. Throughout the developing world, intellectual property (IP) constraints complicate access to critically essential medical technologies and products. Vaccines for malaria and pandemic strains of influenza, as well as diagnostic and vaccine technologies for SARS, are not only relevant to global public health but are particularly critical to the needs of developing countries. A global access solution is urgently needed. This article offers a timely case‐by‐case analysis of preliminary patent landscape surveys and formulates options via patent pools and other forms of creative IP management to accelerate development and access. The analysis of the feasibility of patent pools reveals several impediments to patent pools: these include antitrust considerations, bargaining difficulties caused by asymmetric interests and asymmetric rights among IP holders (e.g. improvement vs. foundational patents), and the difficulties of securing financial support given the significant transaction costs associated with pools. Because of the above conceptual and operational hurdles, patent pools do not appear to be a feasible way to accelerate development. Other mechanisms, however, can ameliorate IP constraints. For example, a key IP constraint related to pandemic influenza vaccines R&D appears to have been resolved when Medimmune secured the assembly of all relevant reverse genetics IP and pledged broad access. Clearly, the landscape is complex and multidimensional. Licensing systems are not the only issue. Measures must also be taken to limit regulatory hurdles and enable the swift, legal production of pandemic influenza vaccines to meet the needs of developing countries. This is why a comprehensive analysis is so necessary. From a strictly legal perspective, IP systems work through the power to exclude. However, as this study’s exploration and formulation of creative licensing strategies reveals, it is also true that IP can be structured and managed to work through the “power to include.

An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Sustainable exhibit design: guidelines for designers of small scale interactive and travelling exhibits

This study was commissioned as part of Lincolnshire County Council’s FLOWS ‘2B’ Information and Symbols Project and UK match funding for this particular FLOWS Project has been provided by East Midlands Development Agency. The aim of FLOWS is to improve the sustainability of development in flood risk areas through development of ‘good practice’, by improved integration of flood risk information into decision-support systems for spatial planning and water management. FLOWS involves over 40 individual projects which are based in four Work Packages. Lincolnshire County Council is jointly leading Work Package 3 (Spatial Planning) and is also leading on Projects in Work Package 2 (Public Perception/Dissemination). This study has been produced as part of Lincolnshire County Council’s ‘FLOWS 2B Information and Symbols Project’ and in the wider context, is focussing on raising public awareness of flooding and flood risk by exploring innovative methods of disseminating information on the subject of flood risk to the public. This project involves the production of interactive exhibits aimed at raising the awareness of flood risk in Lincolnshire and is a partnership between Lincolnshire County Council and the School of Architecture at the University of Lincoln. A study focussing on creating sustainable exhibitions has been undertaken via the University of Lincoln that will directly inform the FLOWS exhibits. As detailed in the project brief, this study on Sustainable Exhibit Design will investigate best practice in sustainable exhibit design and produce a report setting out guidelines for designers of small interactive and travelling exhibits, guidelines which are directly applicable to the proposed FLOWS exhibit. The report will form a contribution to exhibition design knowledge through wider distribution via the University of Lincoln and FLOWS websites and a conference presentation

Procedure-modular specification and verification of temporal safety properties

This paper describes ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations. Modularity at the procedure-level is a natural instantiation of the modular verification paradigm, where correctness of global properties is relativized on the local properties of the methods rather than on their implementations. Here, it is based on the construction of maximal models for a program model that abstracts away from program data. This approach allows global properties to be verified in the presence of code evolution, multiple method implementations (as arising from software product lines), or even unknown method implementations (as in mobile code for open platforms). ProMoVer automates a typical verification scenario for a previously developed tool set for compositional verification of control flow safety properties, and provides appropriate pre- and post-processing. Both linear-time temporal logic and finite automata are supported as formalisms for expressing local and global safety properties, allowing the user to choose a suitable format for the property at hand. Modularity is exploited by a mechanism for proof reuse that detects and minimizes the verification tasks resulting from changes in the code and the specifications. The verification task is relatively light-weight due to support for abstraction from private methods and automatic extraction of candidate specifications from method implementations. We evaluate the tool on a number of applications from the domains of Java Card and web-based application

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

Designing a product service system in a social framework: methodological and ethical considerations

Macroscopic social and economic changes in the last few years are forcing business companies and public institutions to redefine their approach to social intervention, focusing on local and highly individualised solutions. This change is also calling for a new design approach. The challenge for designers is not only to be able to provide local and highly individualised solutions, but also to propose strategies to transfer and reproduce the solutions, or part of them, into different local contexts, thus creating economy of scope. This would be possible by using forms of codification and modularisation of the most relevant components in local solutions. The code refers to the organisational knowledge included in local components and the way each component interacts with the others. Like software systems, local product-service systems can be built upon a source code. This paper will illustrate how this process was developed in a concrete case. Through this case the authors analyse the possibility to build something similar to a source code for initiatives based on social interaction and investigate the process of construction of such a code Furthermore, the author discuss differences and analogies between design intervention in a social context and in the normal business context. The question of codification suggests a methodological approach for supporting transferability both in the problem space (dealing with complexity) and in the solution space (dealing with contingency). The analysis of differences and similarities between business- and socially-oriented processes suggests a new role for designers and new opportunities for innovation. Keywords: Product Service Systems, Methodology, Design and Morality, Codification, Transferability</p