An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
A quality-of-service specification for multimedia presentations
Multimedia Systems - Special issue on multimedia database systems
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Preference structures and their numerical representations
Theoretical Computer Science
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Taxomomy of QoS Specifications
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Hi-index | 0.02 |
In my research I try to de.ne a framework which can beused to provide semantics for non-functional specificationsof component-based systems. Some of the key questionsdriving my work are:What is the fundamental difference between functionaland non-functional specifications? What formal apparatusis required to provide for this difference?What effects need to be taken into consideration whencomposing components with non-functional properties?What is the dependency between functional and nonfunctionalspecifications?What evaluation or analysis algorithms will be appliedto a non-functional specification? What informationmust be extractable from the semantics of a nonfunctionalspecification?