Elastic Business Process Management: State of the art and open challenges for BPM in the cloud

S Schulte, C Janiesch, S Venugopal, I Weber… - Future Generation …, 2015 - Elsevier
With the advent of cloud computing, organizations are nowadays able to react rapidly to
changing demands for computational resources. Not only individual applications can be …

Dynamic QoS management and optimization in service-based systems

R Calinescu, L Grunske, M Kwiatkowska… - IEEE Transactions …, 2010 - ieeexplore.ieee.org
Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …

A journey to highly dynamic, self-adaptive service-based applications

E Di Nitto, C Ghezzi, A Metzger, M Papazoglou… - Automated Software …, 2008 - Springer
Future software systems will operate in a highly dynamic world. Systems will need to operate
correctly despite of unespected changes in factors such as environmental conditions, user …

MOSES: A framework for QoS driven runtime adaptation of service-oriented systems

V Cardellini, E Casalicchio, V Grassi… - IEEE Transactions …, 2011 - ieeexplore.ieee.org
Architecting software systems according to the service-oriented paradigm and designing
runtime self-adaptable systems are two relevant research areas in today's software …

Qos-driven runtime adaptation of service oriented architectures

V Cardellini, E Casalicchio, V Grassi… - Proceedings of the 7th …, 2009 - dl.acm.org
Runtime adaptation is recognized as a viable way for a service-oriented system to meet QoS
requirements in its volatile operating environment. In this paper we propose a methodology …

Quality prediction of service compositions through probabilistic model checking

S Gallotti, C Ghezzi, R Mirandola… - Quality of Software …, 2008 - Springer
The problem of composing services to deliver integrated business solutions has been widely
studied in the last years. Besides addressing functional requirements, services compositions …

Adaptive model learning for continual verification of non-functional properties

R Calinescu, Y Rafiq, K Johnson, ME Bakır - Proceedings of the 5th …, 2014 - dl.acm.org
A growing number of business and safety-critical services are delivered by computer
systems designed to reconfigure in response to changes in workloads, requirements and …

3D head pose estimation without feature tracking

Q Chen, H Wu, T Fukumoto… - Proceedings Third IEEE …, 1998 - ieeexplore.ieee.org
We present a robust approach to estimate the 3D pose of human heads in a single image. In
contrast with other research, this method only makes use of the information about the skin …

Develo** self-verifying service-based systems

R Calinescu, K Johnson, Y Rafiq - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
We present a tool-supported framework for the engineering of service-based systems
(SBSs) capable of self-verifying their compliance with developer-specified reliability …

Rethinking the use of models in software architecture

D Ardagna, C Ghezzi, R Mirandola - International Conference on the …, 2008 - Springer
Abstract Models play a central role in software engineering. They may be used to reason
about requirements, to identify possible missing parts or conflicts. They may be used at …