This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.
This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semant...
We report here the results obtained thus far along two distinct but complementary and converging lines of research work. The theme is conceptual data base design (specification), and the work has been going on for a number of years, mainly at the University of Stuttgart, in the Federal Republic of Germany, and at the Pontificia Universidade Cat6lica do Rio de Janeiro, in Brasil. We are glad to acknowledge the collaboration of several colleagues and students, particularly H. Biller, J. M. V. de Castilho, A. Horndasch, C. S. dos Santos, R. Studer, U. Schiel, and I. Waiter. Two other co-workers...
We report here the results obtained thus far along two distinct but complementary and converging lines of research work. The theme is conceptual data ...
This book constitutes the refereed proceedings of the Second IFIP TC 5/8 International Conference on Information and Communication Technology, ICT-Eur Asia 2014, with the collocation of Asia ARES 2014 as a special track on Availability, Reliability and Security, held in Bali, Indonesia, in April 2014. The 70 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers have been organized in the following topical sections: applied modeling and simulation; mobile computing; advanced urban-scale ICT applications; semantic web and knowledge management;...
This book constitutes the refereed proceedings of the Second IFIP TC 5/8 International Conference on Information and Communication Technology, ICT-Eur...
This book constitutes the refereed proceedings of the First International Conference on Future Data and Security Engineering, FDSE 2014, held in Ho Chi Minh City, Vietnam, in November 2014. The 23 full papers presented were carefully reviewed and selected from 66 submissions. They have been organized in the following topical sections: big data analytics and applications; security and privacy engineering; crowdsourcing and social network data analytics; biometrics and data protection in smart devices; cloud data management and applications; and advances in query processing and optimization.
This book constitutes the refereed proceedings of the First International Conference on Future Data and Security Engineering, FDSE 2014, held in Ho Ch...
