This paper presents the Pharos mobile computing testbed which focuses on application-driven validation of pervasive computing research using real hardware and real mobility. Pharos enables meaningful and reproducible validation at all levels of the network stack, including mobility modeling, routing protocols, coordination, application support, and system configuration. At the same time, the te...

OBJECTIVE Pulmonary arterial hypertension (PAH) increases mortality in systemic sclerosis (SSc). The multicenter PHAROS registry (Pulmonary Hypertension Assessment and Recognition of Outcomes in Scleroderma) prospectively follows subjects with SSc at high risk for or with incident pulmonary hypertension (PH). We describe the registry design and baseline characteristics of subjects enrolled duri...

Executions in the PharOS real-time system are deterministic in the sense that the sequence of local states for every process is independent of the order in which processes are scheduled. The essential ingredient for achieving this property is that a temporal window of execution is associated with every instruction. Messages become visible to receiving processes only after the time window of the...

The formation of the single European market (SEM) will create a new business environment in Europe. The competitiveness and, indeed, the survival of many United Kingdom businesses depends on how well they understand and react to the threats and opportunities presented by opening up Europe and associated industry restructuring. Expertise in single-market issues and legislation is scarce and expe...

This paper compares the precision and accuracy of five current global positioning system (GPS) receivers—Trimble ProXR, Trimble GeoXT without WAAS, Trimble GeoXT with WAAS, Trimble GeoExplorer II, and an HP/Pharos receiver. Each of these receivers, along with other similar units, are frequently used today for data collection and integration within a geographic information system (GIS). To compa...

As mobile cyber-physical systems (MCPS) begin to pervade our everyday environments, tools and techniques for robustly and reliably evaluating system solutions are an essential but as yet missing component for the development process. Our current methods and tools for validation and evaluation allow examination of components of the overall system in isolation; however our repertoire of tools lac...