Vahe Poladian

Vahe Poladian
Carnegie Mellon University | CMU · Computer Science Department

About

25
Publications
1,131
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
577
Citations

Publications

Publications (25)
Conference Paper
Full-text available
An increasingly important concern for modern syste ms design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults, resource variation, and changing user needs. One promising approach is to use architectural models a s a basis for monitoring, problem detection, and repair selection....
Conference Paper
This paper presents a framework for engineering resource-adaptive software targeted at small mobile devices. Rather than building a solution from scratch, we extend and integrate existing work on software infrastructures for ubiquitous computing, and on resource-adaptive applications. This paper addresses two research questions: first, is it feasib...
Conference Paper
Full-text available
Most pervasive computing technologies focus on helping users with computer-oriented tasks. In this NSF-funded project, we instead focus on using computers to support user-centered "activities" that normally do not involve the use of computers. Examples may include everyday tasks around such as answering the doorbell or doing laundry. A focus on act...
Conference Paper
Full-text available
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requirements. The style offers an intuitive metaphor based on boxes, pipes, and wires, but retains enough preciseness that systems can be automatically assembled and dynamicall...
Conference Paper
Full-text available
This paper presents a framework for engineering resource-adaptive software systems targeted at small mobile devices. The proposed framework empowers users to control tradeoffs among a rich set of service- specific aspects of quality of service. After motivating the problem, the paper proposes a model for capturing user preferences with respect to q...
Article
Dynamic adaptive systems based on multiple concurrent applications typically employ optimization models to decide how to allocate scarce resources among the applications and how to tune their runtime settings for optimal quality-of-service according to the preferences of an end user. Traditionally, such systems have avoided dealing with uncertainty...
Conference Paper
Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each application to best satisfy the user. Past work has made those decisions with analytic models that used current resource availability information: they react to recent changes in...
Article
An important domain for autonomic systems is the area of ubiquitous computing: users are increasingly surrounded by technology that is heterogeneous, pervasive, and variable. In this paper we describe our work in developing self-adapting computing infrastructure that automates the configuration and reconfiguration of such environments. Focusing on...
Article
Full-text available
Traditional engineering design discipline calls for designs to be evaluated long before they are implemented. Early design evaluations predict properties of the artifact that will result from a proper implementation of the design and the value of those properties to the client or end user. The predicted properties can include costs as well as funct...
Article
We propose an improved approach to dynamic configuration of resource-aware applications. The new anticipatory model of configuration maximizes utility based on three inputs: user preferences, application capability profiles, and resource availability. In this respect, the proposed model is similar to a model of configuration described in [2]. Howev...
Conference Paper
Computers support more and more tasks in the personal and profes- sional activities of users. Such user tasks increasingly span large periods of time and many locations across the enterprise space and beyond. Recently there has been a growing interest in developing applications that can cope with the specific environmental conditions at each locati...
Conference Paper
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing resources. Three specific technical challenges in satisfying this requirement are to (1) select an appropriate set of applications or services to carry out a user's task, (2)...
Conference Paper
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most efforts for achieving self-adaptation have focused on the mechanisms for detecting opportunities for improvement and then taking appropriate action. However, such mechanisms b...
Conference Paper
Full-text available
As intelligent devices become affordable and wireless infrastructure becomes pervasive, the potential to combine, or aggregate, device functionality to provide a user with a better experience grows. Often, there will be multiple devices providing similar functionality that the user will have to choose from for the aggregation. We present the design...
Article
Technology is advancing and bringing personal IT appliances into every aspect of our life, with the intention of making life easier and better for users. Wireless phones, digital cameras, and tablet PCs are examples of personal appliances available today. In the near future, it is envisioned that watches, jewelry, and clothes will be connected in a...
Article
Time is money", or so goes the old saying. Perhaps influenced by this aphorism, some strategies for incorporating costs in the analysis of software design express all costs in currency units for reasons of simplicity and tractability. Indeed, in theoretical economics all costs can, in principle, be expressed in dollars.
Article
The q-rook monoid R n(q) is a semisimple Uq \mathfrakg\mathfrakl(r)U_q {\mathfrak{g}}{\mathfrak{l}}(r) to compute a Frobenius formula, in the ring of symmetric functions, for the irreducible characters of R n(q). We then derive a recursive Murnaghan-Nakayama rule for these characters, and we use Robinson-Schensted-Knuth insertion to derive a Roic...
Article
Computationally intensive applications such as sound synthesis, animation, scientific computation, can take advantage of table-lookup interpolation to reduce computation and execution time. When designing table-lookup interpolation, application writers face various choices such as table size and interpolation mechanism (linear, quadratic, etc). The...
Article
Full-text available
infrastructure becomes pervasive, the potential to combine, or aggregate, device functionality to provide users with a better experience grows. However, even a small number of devices can be aggregated in many ways to perform a task. Currently, the user must choose among these aggregations without understanding essential information such as the pro...
Article
Users of low-power mobile computing platforms make ad hoc decisions when choosing software components among alternatives and configuring those components. We propose applying utility-theoretic models, which can help determine optimal allocation of scarce resources to applications given the user's utility and application resource usage. We believe t...
Article
this paper we report the results of the maturation study of model checking techniques and tools. Model checking techniques are a subset of Formal Methods, which are defined as "mathematically-based languages, techniques, and tools for specifying and verifying programs". We are interested tracing the maturation of the research results that have esta...
Article
Full-text available
Debugging programs is perhaps one of the most arduous tasks in software development, more so when it comes to distributed applications. Distributed applications are mired by issues of asynchrony, event ordering and synchronization, to name only a few. These problems make traditional methods of debugging inapplicable to the realm of distributed apps...
Article
Time is money", or so goes the old saying. Perhaps influenced by this aphorism, some strategies for incorporating costs in the analysis of software design express all costs in currency units for reasons of simplicity and tractability. Indeed, in theoretical economics all costs can, in principle, be expressed in dollars. Software engineering problem...
Article
Full-text available
Addressing resource variation plays an increasingly important role in engineering today's software systems. Research in resource-adaptive applications takes an important step towards addressing this problem. However, existing solutions stop short of addressing the fact that different user tasks often have specific goals of quality of service, and t...

Network

Cited By