This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
Slobodan N. Simic, Karl Henrik Johansson, Shankar ...
In this paper we present a framework for estimating the energy consumption of Java-based software systems. Our primary objective is to enable an engineer to make informed decision...
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...