The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of the Second International Workshop on Self-adaptive Software, IWSAS 2001, held in Balatonfured, Hungary in May 2001.
Self-adaptive software evaluates its own behavior and changes it when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well known dynamic features familiar to...
The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of ...
The Internet has been bringing about changes in many respects, from culture to techn- ogy; mobile cellular communication systems are no exception. "All-IP" is the term that has been used in this big revolution in wireless communication systems. All-IP requires the solution of many real and research problems relating to handset terminals, access networks, and wireless backbone systems. How will the handset terminals evolve? How will the various wireless access n- works such as Ad-Hoc, WLL, and WLAN affect the existing mobile cellular systems, especially those based on CDMA technology. How will...
The Internet has been bringing about changes in many respects, from culture to techn- ogy; mobile cellular communication systems are no exception. "Al...
WithgreatpleasurewewelcomedtheattendeestoEWSN2004, the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology for new ways of interaction betweencomputersandthephysicalenvironmentwhichsurroundsus.Compared to traditional networking technologies, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy e?ciency, self-con?guration, constrainedcomputationandmemoryresourcesinindividualnodes, data-cent- city, and interaction with the physical environment, to name but a few....
WithgreatpleasurewewelcomedtheattendeestoEWSN2004, the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin...
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.
The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering,...
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, ...
This book constitutes the refereed proceedings of the 7th International Workshop on Theory and Practice in Public Key Cryptography, PKC 2004, held in Singapore in March 2004.
The 32 revised full papers presented were carefully reviewed and selected from 106 submissions. All current issues in public key cryptography are addressed ranging from theoretical and mathematical foundations to a broad variety of public key cryptosystems.
This book constitutes the refereed proceedings of the 7th International Workshop on Theory and Practice in Public Key Cryptography, PKC 2004, held ...
