2586 search results - page 436 / 518 » Automatic Abstraction for Congruences |
115
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
112
click to vote
NOMS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
283
click to vote
NOMS
2010
IEEE
14 years 10 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
Abstract—Choosing the right feature for motion based activity spotting is not a trivial task. Often, features derived by intuition or that proved to work well in previous work ar...
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
Abstract—Bringing heterogeneous devices like industrial machines, home appliances, and wireless sensors into the Web assumes the usage of well-defined standards and protocols. O...