This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited ...
اقرأ المزيد
Volume 2 applies statistical methods to systems governed by quantum effects, in particular to solid state physics, explaining ...
اقرأ المزيد
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well ...
اقرأ المزيد
Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing ...
اقرأ المزيد
Many would–be software entrepreneurs with expertise in many fields attempt to turn a homegrown application—one developed ...
اقرأ المزيد
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...
اقرأ المزيد
Volume 1 discusses in detail the probabilistic description of quantum or classical systems, the Boltzmann-Gibbs distributions, ...
اقرأ المزيد
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيدWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
اقرأ المزيد
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
اقرأ المزيدPatients have suffered for a long time from Alzheimer's disease. The presence of some obstacles in treatment, which prompted ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
اقرأ المزيد
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيد
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيدThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد