10066 search results - page 1664 / 2014 » A Technique for Information System Integration |
181
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
196
click to vote
FAC
2010
15 years 5 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
225
click to vote
JNW
2008
15 years 5 months ago
2008
The rapid growth of the Internet has triggered an explosion in the number of applications that leverage its capabilities. Unfortunately, many are designed to burden o infrastructur...
176
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—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...
191
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...