571 search results - page 60 / 115 » A principled approach to operating system construction in Ha... |
112
click to vote
SENSYS
2005
ACM
15 years 7 months ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
117
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
The academic community has long acknowledged the existence of malicious botnets, however to date, very little is known about the behavior of these distributed computing platforms....
138
click to vote
JIB
2006
15 years 1 months ago
2006
Protein-protein interactions (PPI) play a key role in many biological systems. Over the past few years, an explosion in availability of functional biological data obtained from hi...
114
click to vote
MICAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...