Grid data streaming applications are novel from others in that they require real-time data supply while the processing is going on, which necessitates harmonious collaborations am...
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
Long-term service agreements (LTSA) for the maintenance of capital-intensive equipment such as gas turbines and aircraft engines are gaining wide acceptance. A typical LTSA contra...
This paper reports design requirements derived from an ethnographic fieldwork on road inspectors, the design of a mobile service supporting infrastructure management, and initial u...
—We investigate optimal resource allocation and power management in virtualized data centers with time-varying workloads and heterogeneous applications. Prior work in this area u...
Rahul Urgaonkar, Ulas C. Kozat, Ken Igarashi, Mich...