Scenarios: Models, Transformations and Tools
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
اقرأ المزيد
Science and Technologies for Smart Cities
This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
اقرأ المزيد
Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
اقرأ المزيد
Security and Trust Management : 16th International Workshop, STM 2020, Guildford, UK, September 17–18, 2020, Proceedings
This book constitutes the proceedings of the 16th International Workshop on Security and Trust Management, STM 2020, co-located ...
اقرأ المزيد
Self-Organizing Systems : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
This book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
اقرأ المزيد
Semantic Service Provisioning
This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic ...
اقرأ المزيد
Sequence Analysis and Modern C++ : The Creation of the SeqAn3 Bioinformatics Library / Hannes Hauswedell
Every developer who previously worked with C++ will enjoy the in-depth chapter on important changes in the language from ...
اقرأ المزيد
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
اقرأ المزيد
Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
The book present original research in the field of service oriented computing, from theoretical and foundational results ...
اقرأ المزيد
SharePoint 2007 Development Recipes : A Problem-Solution Approach
SharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...
اقرأ المزيد
Silverlight 2 Visual Essentials
Silverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...
اقرأ المزيد
Smart Grid and Internet of Things
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Grid and Internet of Things, ...
اقرأ المزيد
Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, ...
اقرأ المزيد
Soft Computing and its Engineering Applications
This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...
اقرأ المزيد
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
اقرأ المزيد
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
اقرأ المزيد
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
اقرأ المزيد
Software Architecture (vol. # 3527)
This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
اقرأ المزيد
Software Architecture (vol. # 4344)
This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
اقرأ المزيد
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
اقرأ المزيد
