This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park,
This book constitutes the revised selected papers of the workshops of the 10th International Conference on Mobile Web Information, MobiWIS 2013, held in Paphos, Cyprus, in August 2013. The conference
This book constitutes the refereed proceedings of the 7th Metadata and Semantics Research Conference, MTSR 2013, held in Thessaloniki, Greece, in November 2013. The 29 revised papers presented were ca
This book constitutes the refereed conference proceedings of the 10th International Conference on Advances in Computer Entertainment, ACE 2013, held in Boekelo, The Netherlands, in November 2013. The
This book constitutes the proceedings of the 13th International Conference on Transport Systems Telematics, TST 2013, held in Katowice-Ustron, Poland, in October 2013. The 58 papers included in this v
This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstrac
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013. The 10 full and 2 keynote talks were car
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communica
This book constitutes the refereed proceedings of the 13th International Conference on Web Engineering, ICWE 2013, held in Aalborg, Denmark, in July 2013. The 21 full research papers, 4 industry paper
This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA 2013, held in Rome, Italy, in June 2013. The 32 revised full papers presented togethe
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 paper
This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, held in Bhubaneswar, India, in February 2013. The 40 f
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. The 24 revised full papers presented were ca
This book constitutes the refereed proceedings of the First International Conference on Big Data Analytics, BDA 2012, held in New Delhi, India, in December 2012. The 5 regular papers and 5 short paper
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Comput
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kan
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. Th
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised f
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers pr
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisC
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011.The 14 revised full papers were carefully revised and selected f
This book constitutes the revised selected papers of the 5th International Conference on Semantics and Digital Media Technologies, SAMT 2010, held in Saarbrucken, Germany, in December 2010. As a resul
Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised ful
FLINS is an acronym for Fuzzy Logic and Intelligent Technologies in Nuclear Science, an organization launched in 1994 in connection with the Belgian Nuclear Research Center. FLINS '10 (held in 2010, i
This volume constitutes the selected and extended papers of the International Conference on Advances in Software Engineering, ASEA 2008, and Its Special Sessions, as well as the International Conferen
This book constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD 2009, held in Siegen, Germany in March 2009.The 12 revised full papers presented toget
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation
This volume presents the proceedings of the International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization '93 conference in San Jose, California in
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
Visual Computing for Medicine, 2nd Edition, offers cutting-edge visualization techniques and their applications in medical diagnosis, education, and treatment. The book includes algorithms, applicatio
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.
