Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Elastic Business Process Management: State of the art and open challenges for BPM in the cloud
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 …
changing demands for computational resources. Not only individual applications can be …
Dynamic QoS management and optimization in service-based systems
Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …
adaptive functionality are currently one of the main development paradigms in software …
A journey to highly dynamic, self-adaptive service-based applications
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 …
correctly despite of unespected changes in factors such as environmental conditions, user …
MOSES: A framework for QoS driven runtime adaptation of service-oriented systems
Architecting software systems according to the service-oriented paradigm and designing
runtime self-adaptable systems are two relevant research areas in today's software …
runtime self-adaptable systems are two relevant research areas in today's software …
Qos-driven runtime adaptation of service oriented architectures
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 …
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 …
studied in the last years. Besides addressing functional requirements, services compositions …
Adaptive model learning for continual verification of non-functional properties
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 …
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 …
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 …
(SBSs) capable of self-verifying their compliance with developer-specified reliability …
Rethinking the use of models in software architecture
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 …
about requirements, to identify possible missing parts or conflicts. They may be used at …