Erie, County of and Civil Service Employees Association, Local 815

In the matter of the fact-finding between the County of Erie, employer, and the Civil Service Employees Association, Local 815, union. PERB case no. M2009-089. Before: Howard G. Foster, Fact Finder

Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011

The maturity of IT processes, such as software development, can be and is often certified. Current trends in the IT industry suggest that software systems in the future will be very different from their counterparts today, with an increasing adoption of the Service-Oriented Architecture (SOA) design pattern and the deployment of Software-as-a-Service (SaaS) on Cloud infrastructures. In this talk we discuss some issues surrounding engineering Software Services for Cloud infrastructures and highlight the need for enhanced control, service-level agreement and compliance mechanisms for Software Services. Cloud Infrastructures and Service Mash-ups

Advanced service monitoring configurations with SLA decomposition and selection

Service Level Agreements (SLAs) for Software Services aim to clearly identify the service level commitments established between service requesters and providers. The commitments that are agreed however can be expressed in complex notations through a combination of expressions that need to evaluated and monitored efficiently. The dynamic allocation of the responsibility for monitoring SLAs (and often different parts within them) to different monitoring components is necessary as both SLAs and the components available for monitoring them may change dynamically during the operation of a service based system. In this paper we discuss an approach to supporting this dynamic configuration, and in particular, how SLAs expressed in higher-level notations can be efficiently decomposed and appropriate monitoring components dynamically allocated for each part of the agreements. The approach is illustrated with mechanical support in the form of a configuration service which can be incorporated into SLA-based service monitoring infrastructures

Aeromonas proteolyrica bacteria in aerospace environments

Preflight studies on Aeromonas proteolytica are reported to investigate the possibility of genetic alterations resulting in increased proteolysis in spacecraft environments. This organism may be present on human tissue and could pose medical problems if its endopeptidase and a hemolysin were to be produced in ususually high quantities or altered in such a way as to be more effective in their activities. Considered are: (1) Development of a nutrative holding medium for suspension of organisms; (2) the establishment of baseline information for the standardization of the assay for endopeptidase levels and hemolytic titers; (3) formulation of a method by which intracutaneous hemorrhage could be quantitated in guinea pig tissue; and (4) the responses of these organisms to parameters of spaceflight and experimentation

Computer enhancement through interpretive techniques Semiannual status report

Digital computer enhancement by use of technique of interpretation rather than compilation of higher ordered language

EFFECTS OF SPOILER-SLOT-DEFLECTOR CONTROL ON THE AERODYNAMIC CHARACTERISTICS AT A MACH NUMBER OF 2.01 OF A VARIABLE-WINGSWEEP CONFIGURATION WITH THE OUTER WING PANELS SWEPT BACK 75 DEG

Aerodynamic characteristics of variable-wing-sweep configuration with spoiler-slot-deflector control system & swept back outer wing panel

EFFECTS OF WING VERTICAL LOCATION ON THE STABILITY AND CONTROL CHARACTERISTICS AT A MACH NUMBER OF 2.01 OF A CANARD AIRPLANE CONFIGURATION WITH A TRAPEZOIDAL ASPECT-RATIO-3 WING

Effects of wing vertical location on stability and control of canard aircraft at supersonic speed

Apollo experience report: Data management for postflight engineering evaluation

The Apollo management of data for postflight engineering evaluation is described. The sources of Apollo telemetry data, the control of data processing by a single data team, the data techniques used to assist in evaluation of the large quantity of data, and the operation of the data team before the mission and during the evaluation phase are described. The techniques used to ensure the output of valid data and to determine areas in which data were of questionable quality are also included

The drag of a body moving transversely in a confined stratified fluid

The slow motion of a body through a stratified fluid bounded laterally by insulating walls is studied for both large and small Peclet number. The Taylor column and its associated boundary and shear layers are very different from the analogous problem in a rotating fluid. In particular, the large Peclet number problem is non-linear and exhibits mixing of statically unstable fluid layers, and hence the drag is order one; whereas the small Peclet number flow is everywhere stable, and the drag is of the order of the Peclet number

Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking