Ubiquitous Computing Systems (vol. # 3598)
This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented ...
Lee mas
Ubiquitous Computing Systems (vol. # 4239)
This book constitutes the refereed proceedings of the proceedings of the 2006 International Symposium on Ubiquitous Computing ...
Lee mas
Ubiquitous Convergence Technology
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...
Lee mas
Ubiquitous Intelligence and Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...
Lee mas
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lee mas
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Lee mas
Web Information Systems - WISE 2006 Workshops
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...
Lee mas
Web Information Systems Engineering – WISE 2007 Workshops
This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference ...
Lee mas
Workflows for e-Science
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
Lee mas
e-Business and Telecommunication Networks
This book contains the best papers of the First International Conference on e-Business and Telecommunication Networks (ICETE ...
Lee mas
