System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Continue reading
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Continue reading
System Signatures and their Applications in Engineering Reliability
the purpose of this book to provide guidance on how reliability problems might be structured, modeled and solved. Over the ...
Continue reading
Systematic Design for Emergence in Cellular Nonlinear Networks : With Applications in Natural Computing and Signal Processing
Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...
Continue reading
Systems Aspects in Organic and Pervasive Computing - ARCS 2005
This book constitutes the refereed proceedings of the 18th International Conference on Architecture of Computing Systems, ...
Continue reading
Systems Modeling and Simulation: Theory and Applications
This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
Continue reading
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Continue reading
Technologies for Advanced Heterogeneous Networks
The Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and ...
Continue reading
Technologies for Advanced Heterogeneous Networks II
This book constitutes the refereed proceedings of the Second Asian Internet Engineering Conference, AINTEC 2006, held in ...
Continue reading
Technologies for E-Services (vol. # 3324)
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Continue reading
Telecommunications Modeling, Policy, and Technology
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
Continue reading
Telecommunications Planning
Network Design and Management focuses on the latest methodological developments in three key areas---pricing of telecommunications ...
Continue reading
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Continue reading
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Continue reading
Testing of Software and Communicating Systems
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue reading
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Continue reading
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue reading
The Amazing Journey of Reason from DNA to Artificial Intelligence
This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
Continue reading
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Continue reading
The Behavioral Ecology of the Tibetan Macaque
This book summarizes the multi-disciplinary results of one of China’s main primatological research projects on the endemic ...
Continue reading
