This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingComputer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Continue reading
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Continue reading
The Asian Internet Engineering Conference (AINTEC) brings together researchers and engineers interested in practical and ...
Continue reading
This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...
Continue reading
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Continue reading
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
The technology of terahertz detection has largely been developed around expensive and bulky femtosecond laser systems but, ...
Continue readingTerrestrial Trunked Radio (TETRA) has become the tool to design any type of public security systems, in particular due to ...
Continue reading
Terrorism informatics has been defined as the application of advanced methodologies, information fusion and analysis techniques ...
Continue reading
The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
Continue reading
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Continue reading
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Continue reading
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue reading
This book presents the proceedings of The 2020 International Conference on Machine Learning and Big Data Analytics for IoT ...
Continue reading
Untangles the threads of a useful, sometimes dangerous, mentality. The book shows ethical hackers, social engineers, and ...
Continue reading
This volume shares new data relating to Climate-Smart Agriculture (CSA), with emphasis on experiences in Eastern and Southern ...
Continue reading