Online reliability computing of composite services based on program invariants

2014 ◽  
Vol 264 ◽  
pp. 340-348 ◽  
Author(s):  
Zuohua Ding ◽  
Mei-Hwa Chen ◽  
Xiaoxue Li
Author(s):  
Takaaki Moriya ◽  
Yuichi Nakatani ◽  
Hiroyuki Ohnishi ◽  
Makoto Yoshida ◽  
Miki Hirano

2017 ◽  
Author(s):  
Soumya Banerjee

An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. Program invariants encapsulate the computability of a particular program, e.g. whether it performs a particular function correctly and whether it terminates or not. This work also lays the foundation for applying concepts of theoretical incomputability and undecidability to biological systems like the immune system that perform robust computation to eliminate pathogens.


2016 ◽  
Vol 9 (3) ◽  
pp. 394-407 ◽  
Author(s):  
Shuiguang Deng ◽  
Longtao Huang ◽  
Daning Hu ◽  
J. Leon Zhao ◽  
Zhaohui Wu

Author(s):  
Alessandro Bellucci ◽  
Valeria Cardellini ◽  
Valerio Di Valerio ◽  
Stefano Iannucci
Keyword(s):  

2015 ◽  
pp. 2323-2353
Author(s):  
Pethuru Raj

There are hordes of data-driven, context-aware, and people-centric applications and services for smarter environments such as smarter homes, governments, buildings, cities, and organizations. With the exponential growth of smart phones, there are service repositories and application stores in remote mobile clouds. Similarly, with the ceaseless advancements in the device ecosystem and in the IT field, government-specific applications will flourish and be deployed and maintained in special cloud stores, platforms, and infrastructures to be found, bound, and used by any input/output devices for a variety of everyday personal and professional purposes. Smart, sustainable, intuitive, and citizen-aware services can be dynamically created from the ground up as well as orchestrated or choreographed out of multiple atomic and discrete software services. Such composite services are directly fulfilling government activities. Thus, clouds emerge as the most common and minimum requirement for not only producing and stocking services but also for hosting application platforms. Further, clouds facilitate provisioning and renting out their configurable and customizable assets on demand. Through self-service portals, the cloud usage is to pick up fast in the days to unfold. In this chapter, the authors write about how cloud adoption is to ring in delectable transformations for worldwide governments as well as their citizens, that is, how governments can accomplish more with less, how people can experience high quality, technology-sponsored digital living, how the cloud idea becomes a centre of attraction for more ingenuity towards newer and nimbler service conceptualization, concretization, and delivery.


Sign in / Sign up

Export Citation Format

Share Document