Browsing by Author "Christou, Kyriakos"
Now showing items 1-1 of 1
-
Article
Modeling and analysis of power-aware systems
Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...