1524 search results - page 76 / 305 » Operational Semantics of Hybrid Systems |
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
In this paper we demonstrate the benefits of application involvement in operating system power management. We present Coop-I/O, an approach to reduce the power consumption of devi...
CONCUR
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
WIKIS
2009
ACM
15 years 4 months ago
2009
ACM
The work presented in the poster describes our collaborative approach to managing systems monitoring information in a Semantic Wiki. This allows to extend the applicability of man...