SAC
2015
ACM
8 years 6 months ago
2015
ACM
Abstract Bayesian inference often poses difficult computational problems. Even when off-the-shelf Markov chain Monte Carlo (MCMC) methods are available to the problem at hand, mix...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
SAC
2015
ACM
8 years 6 months ago
2015
ACM
SAC
2015
ACM
2015
ACM
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
8 years 6 months ago
Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capabi...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
Trace-based debuggers help a debugging process by displaying a history of executed operations with their parameters in a run of a program. However, those debuggers are unable to p...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
During the initial construction and subsequent maintenance of an application, duplication of functionality is common, whether intentional or otherwise. This replicated functionali...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
Architecture-based approaches to self-adaptation rely on architectural descriptions to reason about the best way of adapting the structure and behavior of software-intensive syste...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
Commoditizing idle computing resources by sharing them in a marketplace has gained increased attention in recent years as a potential disruption to the modern cloud-based service ...
SAC
2015
ACM
8 years 6 months ago
2015
ACM
SAC
2015
ACM
8 years 6 months ago
2015
ACM
: Functional test automation is increasingly adopted by web applications developers. In particular, 2nd generation tools overcome the limitations of 1st generation tools, based on ...