Automatic Program Development: A Tribute to Robert Paige Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation... Cellular Automata and Discrete Complex Systems: 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings (Lecture Notes in Computer Science)
The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the...
Advances in Software Engineering: International Conference, ASEA 2010
Welcome to the Proceedings of the 2010 International Conference on Advanced
Software Engineering and Its Applications (ASEA 2010) – one of the partnering events
of the Second International Mega-Conference on Future Generation Information
Technology (FGIT 2010).
ASEA brings together researchers from academia and industry...
Engineering Secure Software and Systems: Third International Symposium
It is our pleasure to welcome you to the third edition of the International Symposium
on Engineering Secure Software and Systems.
This unique event aims at bringing together researchers from software engineering
and security engineering, which might help to unite and further develop
the two communities in this and future...
Advances in Grid and Pervasive Computing: 6th International Conference
the emerging areas of grid computing, cloud computing, and pervasive computing.
The 6th International Conference on Grid and Pervasive Computing, GPC
2011, was held in Oulu, Finland, during May 11-13, 2011. This volume contains
the full papers that were presented at the conference. This program was
preceded by one day of workshops, a...
Biometrics and ID Management: COST 2101 European Workshop, BioID 2011
This volume of Springer Lecture Notes in Computer Sciences (LNCS) constitutes the final publication of the EU COST 2101 Action “Biometrics for Identity Documents and Smart Cards,” which has been successfully running during the years 2006-2010. One of the many valuable outputs of this initiative is the realization of a new...
|Result Page: 5 4 3 2 1 |