Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael A. Bauer 0001

dblp:b/MichaelABauer · also Michael Anthony Bauer · DBLP profile ↗
← Back
62ranked-venue papers
9as first author
7since 2021 · last 2024
0000-0002-7491-1427ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 12 · 1 since 2021Artificial intelligence and machine learning · 11 · 1 first-author · 2 since 2021Human-computer interaction and ubiquitous computing · 9 · 3 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 9 · 2 first-author · 1 since 2021Systems, architecture and hardware · 6 · 1 first-authorSoftware engineering, systems software and programming languages · 5Databases, data management, data science and information retrieval · 3Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Distributed systems · 43% Parallel and multicore computing · 25% Processor architecture and microarchitecture · 25%
Software engineering, system software, and programming languages
2 papers
Program synthesis and code generation · 59% Program verification · 41%
Databases, data mining, and information retrieval
1 paper
Data models and query languages · 100%

Topics — the 5 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Processor architecture and microarchitecture
memory latency tolerance
0.011995
Performance Benefits of Optimistic Programming: A Measure of HOPE · HPDC 1995
Parallel and multicore computing
parallel programming models
0.011995
Performance Benefits of Optimistic Programming: A Measure of HOPE · HPDC 1995
Distributed systems › middleware
directory service
0.011994
X-500 Directory Schema Management · ICDE 1994
Program synthesis and code generation
programming by example
0.021985
Soundness and Completeness of a Synthesis Algorithm Based on Example Computations · J. ACM 1985
Programming by Examples · Artif. Intell. 1979
Data models and query languages
schema management
0.011994
X-500 Directory Schema Management · ICDE 1994

Methods — techniques the papers use, named apart from their topics

optimistic execution · 0.0formal model of procedures · 0.0example computation model · 0.0
YearPublicationVenuePosition
2024 Intelligent Health Promotion: Machine Learning in the Prevention of Stress-Related Diseases
Gabriel Fernandes Silva, Victor Ströele A. Menezes, Regina Braga 0001, Mario A. R. Dantas, Michael A. Bauer 0001
AINA (3)5
2023 Sensor Data Integration Using Ontologies for Event Detection
Jefferson Amará, Victor Ströele A. Menezes, Regina Braga 0001, Michael A. Bauer 0001
AINA (1)4
2023 Automatic Extrinsic Calibration of Thermal Camera and LiDAR for Vehicle Sensor Setups
abstract
LiDAR is one of the most used sensors in many areas like robotics, self-driving cars, and advanced driving assistance systems due to providing an accurate point cloud of the surroundings. However, to cope with challenges in perceiving the environment around a vehicle, LiDAR data is often combined with data from other sensors. Thermal cameras can provide complementary information that can be beneficial, especially for detecting pedestrians and seeing at nighttime and in fog, dust, etc. In this paper, we propose an algorithm for the extrinsic calibration of a thermal camera and a LiDAR sensor in a vehicle. First, one or more thermal image-point cloud pairs of our designed calibration target are collected. Then line and plane equations of the target’s edges and plane in both data modalities are found. Finally, the algorithm uses lines and plane correspondences to cross-calibrate the sensors. The proposed method obtains good results with one or more poses. We also show that it works well with sparse LiDAR data. Several experiments are presented to illustrate the effectiveness of the method.
Farhad Dalirani, Farzan Heidari, Taufiqur Rahman, Daniel Singh Cheema, Michael A. Bauer 0001
IV5
2021 Usage Trends Aware VM Placement in Academic Research Computing Clouds
abstract
Academic Research Computing Clouds are widely deployed worldwide by research institutions to support researcher's computations. While the nature of the hosted use-cases is diverse, literature and institutions' published guides point to highly parallel HPC workloads and state-heavy workloads as two popular use-cases in research-computing clouds. Additionally, our prior investigation has uncovered unique patterns in the users' VM-provisioning behaviors in four of Canada's research-computing clouds. These patterns, i.e., usage-trends, were generated by examining nearly 1 million VMs created by researchers over four and half years. The usage trends mimicked behaviors of provisioning highly parallel HPC workloads and state-heavy portals. In this paper, we exploit the knowledge of these usage trends to guide VM placement decisions in research-computing IaaS clouds. We propose a delayed-provisioning algorithm that postpones resource allocations for incoming VM requests in anticipation of running VMs termination, minimizing the number of active PMs and PM underutilization. We examine the performance of the proposed algorithm compared to other placement algorithms using a real-life validation dataset of nearly 850 thousand VMs. The results show significant improvements ranging from 7% to 33% reduction in the number of active PMs and up to 61% reduction in the number of hourly underutilized PMs.
Mohamed Elsakhawy, Michael A. Bauer 0001
CLOUD2
2021 Identifying and Recommending Experts Using a Syntactic-Semantic Analysis Approach
abstract
Finding experts that can help address critical elements or problems in a project is a challenging task. This is especially true in global software development where there is often a need to identify developers with specific skill sets and expertise. It is also essential to identify developers that can help move the project forward. To address this, we propose an expert recommendation system to help identify and classify individuals with the expertise and skills that could collaborate on a project. To achieve this goal, we model a popular project on GitHub as a contribution network. Our approach analyzes both syntactic and semantic aspects of the data by exploring the network with machine learning algorithms and considering an ontology that can be used to extract topics from the project's key terms. Our approach looks to recommend individuals with the necessary skills, have been strong contributors in the past, and have a positive interest trend.
Tales Lopes, Victor Ströele A. Menezes, Regina Braga 0001, José Maria N. David, Michael A. Bauer 0001
CSCWD5
2021 Ecological Momentary Assessment extensions 3 (EMAX3) Proposal: An app for EMA-type research
abstract
Smartphones present unique data collection opportunities for research. Ecological momentary assessment (EMA) studies have been conducted using smartphones in many areas, as participant responses can be collected at the same time as device sensor data. We wanted to study undergraduate mental health using smartphones while investigating data from as many smartphone sensors as possible. The app used for this had to be accessible from the standard app stores to use existing participant phones. The software also had to have an easy setup process at the server-side due to limited resources. As a result, we developed the Ecological Momentary Assessment eXtensions platform. We describe the platform, two studies that used Version 2 of it, and summarize data collection results. We then outline a pathway to a unified EMAX3 app. To the best of our knowledge, EMAX is the only platform developed and used for sensor-based EMA research at a Canadian university.
Chris Brogly, Daniel J. Lizotte, Michael A. Bauer 0001
ISCC3
2021 What Does Visual Gaze Attend to during Driving?
Mohsen Shirpour, Steven S. Beauchemin, Michael A. Bauer 0001
VEHITS3
2020 Unraveling the Semantic Evolution of Core Nodes in a Global Contribution Network
abstract
The analysis of social structures is important in many contexts, especially in Global Software Development, where various developers with diverse skills and knowledge are involved. In this sense, searching for essential members is a valuable task since they are fundamental to the network's evolution. With the main goal of identifying and monitoring these individuals, we propose a temporal analysis approach that explores syntactic and semantic network aspects. We describe experiments based on popular projects on Github that consider a network modeled over consecutive time periods. We also propose an ontology to represent the domain knowledge and explore the network by investigating its semantic context. We provide evidence that our approach can detect individuals considered essential based on their role in the network.
Tales Lopes, Victor Ströele A. Menezes, Regina Braga 0001, Michael A. Bauer 0001
ASONAM4
2020 Event-Driven Framework for Detecting Unusual Patterns in AAL Environments
abstract
An aging population has motivated research into Ambient Assisted Living (AAL) with the aim of supporting people to continue to live in their homes as they age or with chronic health problems. As part of this work, some researchers have focused on identifying and reporting daily activities of individuals at home in order to try to reduce the workload on caregivers and health professionals. Such an environment is usually monitored by non-wearable sensors that collect a vast amount of data. The use of this data requires computational methods that can process it in a reasonable time. This paper proposes an event-driven framework to detect unusual patterns in AAL environments. A Fog-Cloud paradigm and Lambda architecture are adopted as the framework to support computational solutions to deal with the volume of data, and machine learning techniques are used for recognition of daily activities. The framework was evaluated through a case study based on data collected in a real environment. Results point to the feasibility of the proposal.
Lucas Larcher, Victor Ströele A. Menezes, Mario A. R. Dantas, Michael A. Bauer 0001
CBMS4
2017 Real-time driving manoeuvre prediction using IO-HMM and driver cephalo-ocular behaviour
abstract
Driving Assistance Systems increase safety and provide a more enjoyable driving experience. Among the objectives motivating these technologies rests the idea of predicting driver intent within the next few seconds, in order to avoid potentially dangerous manoeuvres. In this work, we develop a model of driver behaviour for turn manoeuvres that we then apply to anticipate the most likely turn manoeuvre a driver will effect a few seconds ahead of time. We demonstrate that cephalo-ocular behaviour such as variations in gaze direction and head pose play an important role in the prediction of driver-initiated manoeuvres. We tested our approach on a diverse driving data set recorded with an instrumented vehicle in the urban area of London, ON, Canada. Experiments show that our approach predicts turn manoeuvres 3.8 seconds before they occur with an accuracy over 80% in real-time.
S. M. Zabihi, Steven S. Beauchemin, Michael A. Bauer 0001
Intelligent Vehicles Symposium3
2017 Detection and recognition of traffic signs inside the attentional visual field of drivers
abstract
Traffic sign detection and recognition systems are essential components of Advanced Driver Assistance Systems and self-driving vehicles. In this contribution we present a vision-based framework which detects and recognizes traffic signs inside the attentional visual field of drivers. This technique takes advantage of the driver 3D absolute gaze point obtained through the combined use of a front-view stereo imaging system and a non-contact 3D gaze tracker. We used a linear Support Vector Machine as a classifier and a Histogram of Oriented Gradient as features for detection. Recognition is performed by using Scale Invariant Feature Transforms and color information. Our technique detects and recognizes signs which are in the field of view of the driver and also provides indication when one or more signs have been missed by the driver.
S. J. Zabihi, S. M. Zabihi, Steven S. Beauchemin, Michael A. Bauer 0001
Intelligent Vehicles Symposium4
2017 Topology and Application Aware Dynamic VM Management in the Cloud
abstract
Cloud computing continues to mature and more applications continue to be deployed in public clouds. Client applications deployed in the cloud should automatically scale up and down to match changing workload demands, though they must be careful to ensure that sufficient resources are provisioned to achieve performance objectives. The cloud provider, on the other hand, attempts to reduce costs by reducing power consumption by consolidating load onto fewer, highly utilized machines. In this work, we introduce an algorithm that integrates both application autoscaling and dynamic virtual machine (VM) allocation into a single algorithm in order to achieve the goals of both cloud provider and client. Further, we consider multi-VM applications, such as multi-tiered web-based applications, and extend the integrated algorithm to take the network topology into account when placing or migrating applications. The goal is to reduce VM-to-VM communication latency; our focus is on trying to contain applications within the same racks. We evaluate our work through simulation, showing that the integrated algorithm can achieve better application performance with a significant reduction in virtual machine live migrations, and the topology-aware extension successfully places applications within a single rack.
Michael Tighe, Michael A. Bauer 0001
J. Grid Comput.2
2014 Multi-depth cross-calibration of remote eye gaze trackers and stereoscopic scene systems
abstract
We present a robust and accurate technique for the cross-calibration of 3D remote gaze trackers with stereoscopic scene vision systems between which no common imaging area exists. We empirically demonstrate that a multi-depth calibration approach yields remarkably superior results for obtaining 3D Point-of-Gaze (PoG) when compared with traditional methods using monocular scene cameras and co-planar eye gaze calibration points.
Taha Kowsari, Steven S. Beauchemin, Michael A. Bauer 0001, Denis Laurendeau, Normand Teasdale
Intelligent Vehicles Symposium3
2014 Frame-rate vehicle detection within the attentional visual area of drivers
abstract
This contribution consists of a frame-rate, vision-based, on-board method which detects vehicles within the attentional visual area of the driver. The method herein uses the 3D absolute gaze point of the driver obtained through the combined use of a front-view stereo imaging system and a non-contact 3D gaze tracker, alongside hypothesis-generation reducing techniques for vehicular detection such as horizon line detection. Trained AdaBoost classifiers are used in the detection process. This technique is the first of its kind in that it identifies vehicles the driver is most likely to be aware of at any moment while in the act of driving.
S. M. Zabihi, Steven S. Beauchemin, E. A. M. de Medeiros, Michael A. Bauer 0001
Intelligent Vehicles Symposium4
2014 A hierarchical, topology-aware approach to dynamic data centre management
abstract
Increasingly, applications are moving into the cloud, which is actually supported by large-scale data centres on the ground. These data centres are complex systems to manage and centralized solutions might not be able to meet the required scale nor make an efficient use of their networks. In this paper, we propose a hierarchical approach to dynamic resource management in data centres, where we leverage the topology of the data centre network to design the management hierarchy. We define a set of aggregate metrics at various levels in the hierarchy to convey system state information to higher management levels, and define managers' responsibilities and interactions. We evaluate our proposed approach through simulation. Experiments show that this management approach greatly reduces the flow of management data across the data centre network, thus reducing network overhead.
Gastón Keller, Michael Tighe, Hanan Lutfiyya, Michael A. Bauer 0001
NOMS4
2014 An in-vehicle tracking method using vehicular ad-hoc networks with a vision-based system
abstract
Vehicle tracking is an important issue in intelligent vehicle automation systems since it can be used to increase safety, convenience and efficiency in driving. Many of the methods for vehicle tracking use a vision-based system to recognize the neighboring vehicles and provide a real time map of nearby vehicles. In other methods, wireless communication between vehicles has been used to locate the vehicles within range and provide tracking information for driving assistance applications. In this paper we present a combination of both a vision-based system and a wireless based system to provide more accurate real-time information about neighboring vehicles. We assume that some of the vehicles are equipped with GPS receivers, a Dedicated Short Range Communication (DSRC) transceiver and one or more cameras mounted on the vehicle. This tracking method has been implemented and evaluated in urban, highway and intersection scenarios under different adoption rates. The results show that a combined approach can be more effective.
Besat Zardosht, Steven S. Beauchemin, Michael A. Bauer 0001
SMC3
2013 A distributed approach to dynamic VM management
abstract
Computing today is increasingly moving into large-scale virtualized data centres, offering computing resources in the form of virtual machines (VMs) on a pay-per-usage basis. In order to minimize costs, VMs should be consolidated on as few physical machines (PMs) as possible, switching idle PMs into a power saving mode. It may be necessary to dynamically allocate and reallocate VMs to PMs in order to meet highly dynamic VM resource requirements. The problem of assigning VMs to PMs is known to be NP-Hard. Most solutions focus on a centralized approach, with a single management node making allocation decisions periodically. This approach suffers from poor scalability and the existence of a single point of failure. We present a fully distributed approach to dynamic VM management, and evaluate our approach using a simulation tool. Results indicate that the distributed approach can achieve similar performance to the centralized solution, while eliminating the single point of failure and reducing the network bandwidth required for management.
Michael Tighe, Gastón Keller, Michael A. Bauer 0001, Hanan Lutfiyya
CNSM3
2013 Towards an improved data centre simulation with DCSim
abstract
Computing is increasingly moving into large-scale data centres, providing resources on-demand for clients on a pay-per-usage basis. One form of such on-demand computing is an Infrastructure as a Service (IaaS) Cloud, which provides low level access to virtualized resources. Developing and evaluating data centre management techniques for such large-scale data centres presents a significant challenge. As such, most work turns to simulation tools as the test environment. We present a number of extensions and additional features to an existing simulation tool, DCSim. Our improvements to DCSim include work on the core of the simulator, improved event, communication and management mechanisms, and a more complete model of the structure of a data centre. We also present improved simulation configuration tools and output, including a unique visualization tool. We evaluate the usefulness of the simulator through a demonstration of its use in comparing dynamic VM management techniques.
Michael Tighe, Gastón Keller, Jamil Shamy, Michael A. Bauer 0001, Hanan Lutfiyya
CNSM4
2013 The right tool for the job: Switching data centre management strategies at runtime
Graham Foster, Gastón Keller, Michael Tighe, Hanan Lutfiyya, Michael A. Bauer 0001
IM5
2013 DCSim: A data centre simulation tool
Gastón Keller, Michael Tighe, Hanan Lutfiyya, Michael A. Bauer 0001
IM4
2012 An analysis of first fit heuristics for the virtual machine relocation problem
Gastón Keller, Michael Tighe, Hanan Lutfiyya, Michael A. Bauer 0001
CNSM4
2012 DCSim: A data centre simulation tool for evaluating dynamic virtualized resource management
Michael Tighe, Gastón Keller, Michael A. Bauer 0001, Hanan Lutfiyya
CNSM3
2011 V2Eye: Enhancement of visual perception from V2V communication
abstract
The near future will see production vehicles equipped with intelligent Advanced Driving Systems using various sensor modalities. Meanwhile, other aspects such as Vehicle-to-Vehicle (V2V) communications have emerged as means of assisting drivers. We propose a framework (V2Eye) in which V2V augments and extends the range of visual sensors in ways that have yet to be explored.
Michael A. Bauer 0001, Kyle Charbonneau, Steven S. Beauchemin
CCNC1
2011 Collaborative policy-based autonomic management: In a hierarchical model
Omid Mola, Michael A. Bauer 0001
CNSM2
2010 The Science Studio: Remote Control and Experiment Management forSynchrotrons
Michael A. Bauer 0001, N. Stewart McIntyre, Christ Armstrong, Dioni Madreno, Elder Mathias, Dylan Maxwell, Renfei Feng, Nathaniel S. A. Sherry, Marina Suominen-Fuller, Jinhui Qin
CAINE1
2010 RoadLab: An In-Vehicle Laboratory for Developing On-Board i-ADAS
Steven S. Beauchemin, Michael A. Bauer 0001, Denis Laurendeau, Taha Kowsari, Ji Cho, Morgan Hunter, Kyle Charbonneau, Owen McCarthy
CAINE2
2010 Using policies to drive autonomic management of virtual systems
abstract
Virtualization is essential to cloud computing as it can provide the means for flexible, reliable and manageable computing resources. At the same time, it raises new challenges for system management, including resource allocation for virtual machines (VMs), means for providing quality of service for applications, meeting organizational objectives, etc. This paper explores the use of policies to drive the autonomic management of virtualization systems. We describe an architecture for autonomically managing VMs and the applications running on those VMs based on policies, outline a prototype implementation and present present an analysis of its performance.
Delei Weng, Michael A. Bauer 0001
CNSM2
2010 Towards adaptive policy-based management
abstract
The use of learning, in particular reinforcement learning, has been explored in the context of policy-driven autonomic management as a means of aiding decision making. In this context, the autonomic manager “learns” a model about what actions to take, for example, in certain situations. However, when the set of policies changes, the model is typically discarded or, if used, may yield misleading information. In contrast, this paper presents an approach for “re-using” past knowledge - by transforming a model learned from the use of one set of active policies to a new model when those policies change. This means that some of the “learned” knowledge can be utilized within the new environment. This is possible because our approach to modeling learning and adaptation is dependent only on the structure of the policies. Consequently, changes to policies can be mapped onto transformations specific to the model derived from the use of those policies. In this paper, we describe the model construction and policy modifications and elaborate, with a detailed case study, on how such changes could alter the currently learned model. Our analysis of the different kinds of policy modifications also suggest that, in most cases, most of the learned model can still be reused. This can significantly accelerate the learning process, essentially improving the overall quality of service, as the results presented in this paper demonstrate.
Raphael M. Bahati, Michael A. Bauer 0001
NOMS2
2009 An Evaluation of Communication Factors on an Adaptive Control Strategy for Job Co-allocation in Multiple HPC Clusters
abstract
To more effectively use a network of high performance computing clusters, allocating multi-process jobs across multiple connected clusters, i.e., job co-allocation, offers the possibility of more efficient use of computer resources, reduced turn-around time and computations using numbers of processes larger than processors on any single cluster. Effective co-allocation, ultimately, depends on the inter-cluster communication cost. We previously introduced a scalable co-allocation strategy - maximum bandwidth adjacent cluster set (MBAS) strategy. It made use of two thresholds to control job co-allocation - one dealing with inter-cluster links and one controlling job partitioning. We subsequently introduced the adaptive threshold control system (ATCS), which used a fuzzy control approach to dynamically adjust these thresholds within MBAS. Results suggested that using ATCS during MBAS job co-allocation could achieve an overall performance improvement. However, these results only considered jobs that involved either master-slave or all-all communications among constituent processes. In this paper, we extend this analysis by also considering jobs that exhibit 2D-mesh communication patterns and evaluate ATCS further.
Jinhui Qin, Michael A. Bauer 0001
ICPADS2
2009 A case study of a multi-cluster utilizing enhanced transport protocols
abstract
New commodity-off-shelf architectures are being adopted as a differential computational power to respond the increase demand to solve a large number of complex applications. These configurations can be considered as special grid environments, called as multi-clusters, where computational resources are scattered over a wide area network. In these grid environments a well known challenge to be circumvented is the heterogeneity of computational resources. Network protocols are especially important, because of the significance for the execution of distributed global applications. As a result, the goal of this paper is to plot performance tendency for TCP, XTP e SCTP protocols referring to throughput, latency and number of flows aspects.
Diogo R. Viegas, Mario A. R. Dantas, Michael A. Bauer 0001
ISCC3
2009 Toward Developing Knowledge Representation in Emergency Medical Assistance through a Ontology-based Semantic Cache Model
Heloise Manica, Cristiano C. da Rocha, José Leomar Todesco, Mario A. R. Dantas, Michael A. Bauer 0001
SEKE5
2008 Reinforcement learning in policy-driven autonomic management
abstract
In order to effectively manage todays complex systems, system administrators are turning to automated solutions. Policy-driven management offers significant benefits since the use of policies can make it more straight forward to define and modify systems behavior at run-time, through policy manipulation, rather than through re-engineering. The use of policies within autonomic computing allows system administrators to embed existing knowledge into policies and thereby drive autonomic management. Equally important, however, is a need for autonomic systems to adapt the use of these policies to deal with not only the inherent human error, but also the changes in the configuration of the managed environment and the unpredictability in workloads. This paper reports on the use of reinforcement learning methodologies to determine how to best use a set of enabled policies to meet different performance objectives. The work is presented in the context of an adaptive policy-driven autonomic management system.
Raphael M. Bahati, Michael A. Bauer 0001
NOMS2
2006 Towards Automating the Adaptation of Management Systems to Changes in Policies
abstract
The goal of distributed systems management is to provide reliable, secure and efficient utilization of the network, processors and devices that comprise those systems. The management system makes use of management agents to collect events and data from managed objects while policies provide information on how to modify the behaviour of a management system. Systems, as well as policies governing the behaviour of the system and its constituents, change dynamically. This paper explores the services needed to efficiently identify and deploy management entities and be able to respond to a change in the system being managed or in changes to the policies being applied. We show how these services can be built on existing management services found in commercial management systems
Abdelnasser Ouda, Hanan Lutfiyya, Michael A. Bauer 0001
NOMS3
2006 Proactively controlling round-trip time variation and packet drops using SmoothTCP-q
abstract
Packet drops are the primary means of signalling congestion in TCP. However, packet drops have a great impact on round-trip time (RTT) variation of TCP applications. A different and more proactive approach is used by SmoothTCP-q, where ICMP-SQ messages are sent directly to the sender every time a threshold is reached in the queue size of the router. In this mechanism, SmoothTCP-q tries to avoid packet drops since it is not necessary to overload the router queue to discover the network bandwidth as Standard TCP does. As a result, SmoothTCP-q generally presents better quality of service characteristics in terms of RTT variation and packet drops when compared to TCP. In this paper we describe SmoothTCP-q and illustrate its main characteristics related to this proactive property.
Elvis M. Vieira, Michael A. Bauer 0001
QSHINE2
2006 Using Policies to Drive Autonomic Management
abstract
Required or desired behavior of systems and applications can be expressed in terms of management policies. Such policies can in turn be used to express expected operational characteristics of these systems and possible management actions. We feel that policies can provide the kinds of directives best used for flexible autonomic management systems. The effective use of policies in autonomic management requires that the policies be captured and translated into actions within the autonomic system. In this paper we describe an architecture for an autonomic management and illustrate how policies are defined and mapped into its executable elements and how they are realized as actions. A prototype implementation of the autonomic system for managing an Apache Web server is described and the mechanisms for mapping policies presented.
Raphael M. Bahati, Michael A. Bauer 0001, Elvis M. Vieira, O. K. Baek
WOWMOM2
2005 A comparison of response time measurement approaches in enterprise information systems
abstract
The successful implementation of large-scale enterprise information systems is a central concern for the modern organization. In particular, it is important to assure management that these systems are functioning to their proper capacity and providing their indicated services. To this end, it is exceedingly important to obtain accurate measurements on the performance of the implemented systems without unduly burdening system administrators with additional management tasks. In this research, we examine the effectiveness of low administrative overhead approaches such as operational analysis and transaction-based approaches for determining the performance of implemented enterprise systems. In particular, this research examines where each approach is applicable through the use of a full-factorial experiment.
H. Keith Edwards, Michael A. Bauer 0001
SMC2
2005 Understanding the performance of enterprise applications
abstract
Companies have gradually abandoned internally developed enterprise applications in favor of commercial ones. These systems are often comprised of different, multi-vendor components, including, Web servers, databases and applications. For most organizations, performance problems are often addressed by acquiring larger servers or increasing network bandwidth. While the performance of an individual component or application can be and is analyzed, the overall performance of the integrated suite of applications remains largely ad hoc and determining the cause of problems becomes trial and error. We report on initial work to address these problems by studying a commercial enterprise application, understanding what information is important, how such information can be gathered and analyzed and what kinds of tools would be beneficial. We report on an analysis tool and some results of using that tool and on the potential of the approach and methodology for larger enterprise environments.
Michael A. Bauer 0001
SMC2
2005 Usage based service differentiation for end-to-end quality of service management
Michael Katchabaw, Hanan Lutfiyya, Michael A. Bauer 0001
Comput. Commun.3
2004 An Extended Operational Profile Model
abstract
Operational profiles are a quantification of usage patterns for a software application. These profiles are used to measure software reliability by testing the software in a manner that represents actual use. The current definition of an operational profile states that it is the set of operations available in the application, and the operations probabilities of occurrence in customer usage scenarios. This definition is too limited. In most industrial applications, focusing on operations alone does not offer adequate representation of the use of software. The limited definition of operational profiles can restrict their applicability and hence software reliability analysis for many software development organizations. This paper describes a formal and practical extension of the current definition of operational profiles to increase their applicability.
Mechelle Gittens, Hanan Lutfiyya, Michael A. Bauer 0001
ISSRE3
2004 Quality of service provisioning for VoIP applications with policy-enabled differentiated services
abstract
The recent advancement in network technologies has made it possible for the convergence of voice and data networks. In particular, the differentiated services (DiffServ) model has helped in bridging the diverse performance requirements between voice and non real-time applications such as file transfer and e-mail. One key feature of the DiffServ model is its promise to bring scalable service discrimination to the Internet and intranets. With the heterogeneous nature of today's distributed systems, however, there is a demand for flexible management systems that can cope with not only changes in resource needs and the perceived quality of applications (which is often user-dependent and application-specific), but also changes in the configuration of the distributed environment. Policy-based management has been proposed as a means of providing dynamic change in the behavior of applications and systems at run-time rather than through reengineering. The paper proposes a policy-enabled DiffServ architecture to provide predictable and measurable quality of service (QoS) for voice over Internet Protocol (VoIP) applications, and illustrates its performance.
Raphael M. Bahati, Michael A. Bauer 0001
NOMS (1)2
2004 A framework for determining efficient management configurations
Hasina Abdu, Hanan Lutfiyya, Michael A. Bauer 0001
Comput. Networks3
2003 Usage based service differentiation for end-to-end quality of service management
abstract
It is often difficult to ensure that every application in a computing environment receives the level of quality of service required by their users. In such cases, the demand for computing resources to do so simply exceeds the limited supply that is available. To ensure that at least some user applications meet quality of service requirements, service differentiation is one approach growing in popularity. In this approach, preferential service is given to selected applications, while others deemed less important suffer in comparison. Most work in this area bases service differentiation decisions on static information about the applications, such as the name and type of application, the owner of the application, execution time, and the host on which the application was executed. In this paper, we discuss a new approach to service differentiation that takes into consideration dynamic application usage information in service differentiation decisions. In doing so, we can make better or fairer service differentiation decisions that allow more users to enjoy higher levels of quality of service. This is accomplished by ensuring preferential service is given to applications whose users can actually benefit from the improved service, as opposed to those applications that are essentially ignored or in a state that renders them unusable.
Michael Katchabaw, Hanan Lutfiyya, Michael A. Bauer 0001
IPCCC3
2003 A model for efficient configuration of management agents in distributed systems
Hasina Abdu, Hanan Lutfiyya, Michael A. Bauer 0001
Perform. Evaluation3
2001 Towards efficient resource allocation in distributed systems management
abstract
With the increased availability and complexity of distributed systems comes a greater need for solutions to assist in the management of distributed system components. We address three main aspects of management: 1) the need to efficiently utilize resources in the system, 2) the need to satisfy user and management requirements, as well as the requirements on resource usage, and 3) the need for dynamic solutions, i.e., that can be reconfigured due to changes in requirements, resource availability and management policies. Despite the significant contributions made towards the development of management tools that monitor and control distributed systems, little has been done to address these points. In this paper we describe a model that captures the points above. The need for reconfiguration, our implementation and its performance are also described.
Hasina Abdu, Hanan Lutfiyya, Michael A. Bauer 0001
IPDPS3
2000 Driving resource management with application-level quality of service specifications
Michael Katchabaw, Hanan Lutfiyya, Michael A. Bauer 0001
Decis. Support Syst.3
1999 Making distributed applications manageable through instrumentation
Michael Katchabaw, Stephen L. Howard, Hanan Lutfiyya, Andrew D. Marshall, Michael A. Bauer 0001
J. Syst. Softw.5
1997 Supporting Dynamic Policy Change Using CORBA System Management Facilities
Stephen L. Howard, Hanan Lutfiyya, Michael Katchabaw, Michael A. Bauer 0001
Integrated Network Management4
1996 An Experience Report on Architecture Development
abstract
There is relatively little information on the process that should be taken to derive a software architecture. We propose a process for the development of software architectures for large systems and describe our experiences in the development of an architecture for distributed systems that helped in defining this process.
Hanan Lutfiyya, Michael A. Bauer 0001
COMPSAC2
1996 Policy-driven fault management in distributed systems
abstract
Management policies can be used to specify requirements about the desired behaviour of distributed systems. Violations of policies (faults) can then be detected, isolated, located and corrected using a policy-driven fault management system. Other work in this area to date has focused on network-level faults. We believe that in a distributed system it is more appropriate to focus on faults at the application level. Furthermore, this work has been largely domain-specific-a generic, structured approach to this problem is needed. Our work has focused on policy-driven fault management in distributed systems at the application level. In this paper, we define a generic architecture for policy-driven fault management and present a prototype system based on this architecture. We also discuss experience to date using and experimenting with our prototype system.
Michael Katchabaw, Hanan Lutfiyya, Andrew D. Marshall, Michael A. Bauer 0001
ISSRE4
1995 Performance Benefits of Optimistic Programming: A Measure of HOPE
abstract
Optimism is a powerful technique for avoiding latency by increasing concurrency. By optimistically assuming the results of some computation, other computations can be executed in parallel, even when they depend on the assumed result. Optimistic techniques can be particularly beneficial to parallel and distributed systems because of the critical impact of inter-node communications latency. This paper describes how optimism can be used to enhance the performance of distributed programs by avoiding remote communications delay. We then present a new programming model that automates many of the difficulties of using optimistic techniques in a general programming environment, and describe a prototype implementation. Finally, we present performance measurements showing how optimism improved the performance of a test application in this environment.
Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer 0001
HPDC3
1995 The abstraction and modelling of management agents
Graeme S. Perrow, James Won-Ki Hong, Hanan Lutfiyya, Michael A. Bauer 0001
Integrated Network Management4
1995 A resource management system based on the ODP trader concepts and X.500
A. Warren Pratten, James Won-Ki Hong, Michael A. Bauer 0001, J. Michael Bennett, Hanan Lutfiyya
Integrated Network Management3
1994 Managing Global Information in the CORDS Multidatabase System
Michael A. Bauer 0001, Neil Coburn, Per-Åke Larson, Patrick Martin 0001
CoopIS1
1994 X-500 Directory Schema Management
abstract
The X.500 Directory Service provides a powerful mechanism for storing and retrieving information about objects in a distributed computing environment. This requires the functional components of the Directory Service to have knowledge of the structure and representation, or schema, of the information held within the directory. The management of the Directory Schema is a subject requiring further research and development. We identify the three major technical elements required for properly managing the Directory Schema. We then focus on one of these elements; propagation of the schema between functional components of the Directory Service. Three subproblems from within schema propagation are presented, along with several alternative solutions.>
Daniel L. Silver, James Won-Ki Hong, Michael A. Bauer 0001
ICDE3
1994 Parallel 3-D Filling with Octrees
Michael A. Bauer 0001, Scott T. Feeney, Irene Gargantini
J. Parallel Distributed Comput.1
1993 Integration of the Directory Service in the Network Management Framework
James Won-Ki Hong, Michael A. Bauer 0001, J. Michael Bennett
Integrated Network Management2
1990 The information utility project: A glimpse into the library of the future
Jacob Slonim, Michael A. Bauer 0001
Inf. Process. Manag.2
1985 Set operations on linear quadtrees
Michael A. Bauer 0001
Comput. Vis. Graph. Image Process.1
1985 Soundness and Completeness of a Synthesis Algorithm Based on Example Computations
abstract
The problem of synthesizing a procedure from example computations is examined. An algorithm for this task is presented, and its success is considered. To do this, a model of procedures and example computations is introduced, and the class of acceptable examples is defined. The synthesis algorithm is shown to be successful, with respect to the model of procedures and examples, from two perspectives. First, it is shown to be sound, that is, that the procedure synthesized from a set of examples produces the same result as the intended one on the inputs used to generate that set of examples. Second, it is shown to be complete, that is, that for any procedure in the class of procedures, there exists a finite set of examples such that the procedure synthesized behaves as the intended one on all inputs for which the intended one halts.
Michael A. Bauer 0001
J. ACM1
1979 Experiences with PASCAL in an introductory course
abstract
Beginning September, 1975, the Computer Science Department at the University of Western Ontario switched from FORTRAN to PASCAL as the primary language in the first year introductory course. The motivation for such a change was to introduce into the first year course concepts and issues which were becoming central to Computer Science. In particular, the instructors involved in the course wished to a) emphasize algorithm design, effect of choice of representation on design and the creation of well-structured programs, b) expose students to the use of a variety of control structures and data structures, c) introduce, at least informally, the notions of complexity and correctness.
Michael A. Bauer 0001
SIGCSE1
1979 Programming by Examples
Michael A. Bauer 0001
Artif. Intell.1
1970 A student-designed Undergraduate program
abstract
In recent years there has been a growing interest and concern among professionals and educators in Computer Science about undergraduate and graduate programs. A student could possibly offer a new viewpoint into this area, being immediately involved in such a program. However, his view is restricted by the educational environment he has been exposed to, usually in a single undergraduate institution. The following presentation of an undergraduate student's views on a Computer Science education is based upon problems and solutions encountered in designing a possible undergraduate Computer Science curriculum for the University of Dayton. To be applicable, the curriculum needed to be constructed within the confines of current departmental and university constraints and also needed to consider faculty and their interests. This curriculum could be adapted to another university and to another faculty, providing that the faculty can cover the areas reflected in the curriculum.
Michael A. Bauer 0001
SIGCSE1