We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...
This paper presents a new workload model, called the state-dependent deadline model, for applications whose high-level timing requirements may change with time. The problem is how...
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
Bernard T. Barcio, Srini Ramaswamy, K. Suzanne Bar...