This book surveys the outstanding work of physical-layer (PHY) security, including the recent achievements of confidentiality and authentication for wireless communication systems by channel identification. A practical approach to building unconditional confidentiality for Wireless Communication security by feedback and error correcting code is introduced and a framework of PHY security based …
SmartData empowers personal data by wrapping it in a cloak of intelligence such that it now becomes the individual’s virtual proxy in cyberspace. No longer will personal data be shared or stored in the cloud as merely data, encrypted or otherwise; it will now be stored and shared as a constituent of the binary string specifying the entire SmartData agent. This agent proactively builds-in priv…
This volume constitutes the proceedings of the 4th International United Information Systems Conference, UNISCON 2012, which was held in Yalta, Ukraine, during June 1-3, 2012. UNISCON 2012 was affiliated with the 8th International Conference on ICT in Education, Research, and Industrial Applications, ICTERI 2012. The 14 full papers, four short papers, and three extended abstracts presented with …
This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznań, Poland, in June 2013. The theme of this year's conference was "Business Applications on the Move," reflecting the growing usage of mobile devices in business applications and its repercussions on business processes and information management. The 18 revise…
This book contains the refereed proceedings of the 14th International Conference on Agile Software Development, XP 2013, held in Vienna, Austria, in June 2013. In the last decade, the interest in agile and lean software development has been continuously growing. Agile and lean have evolved from a way of working -- restricted in the beginning to a few early adopters -- to the mainstream way of …
No Inv.: 110120-11021/S/Perp/07/2c
Business Process Management (BPM) is the art and science of how work should be performed in an organization in order to ensure consistent outputs and to take advantage of improvement opportunities, e.g. reducing costs, execution times or error rates. Importantly, BPM is not about improving the way individual activities are performed, but rather about managing entire chains of events, activities…
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature t…
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
No Inv.: 7551-7560/P/Perp/97/10c