You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
This book constitutes the refereed proceedings of the 10th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2013, held in Zaragoza, Spain, in September 2013.The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: business models, energy consumption, resource allocation, work in progress on resource allocation, work in progress on pricing, quality of service, work in progress on utility and ROI modeling.
This is the second volume in the series of proceedings from the International Workshop on Life Science Grid. It represents the few, if not the only, dedicated proceedings volumes that gathers together the presentations of leaders in the emerging sub-discipline of grid computing for the life sciences. The volume covers the latest developments, trends and trajectories in life science grid computing from top names in bioinformatics and computational biology: A Konagaya; J C Wooley of the National Science Foundation (NSF) and DoE thought leader in supercomputing and life science computing, and one of the key people in the NSF CIBIO initiative; P Arzberger of PRAGMA fame; and R Sinnott of UK e-Sc...
Vols. for -Sept. 1906 include minutes of meetings of Executive and Engineering Committees; October 1906-March 1907 include the minutes of meetings of the Engineering Committee.
We are now entering a world of electronic communications where an increasing amount of contemporary information is created and retained only in electronic form. How will such unstable flows of information be preserved for future historians? Will the future have a past? Will the history of ourcontemporary world be lost to our descendants? History and Electronic Artefacts is the first publication to examine the implications of this revolution for historical research. Historians are used to handling paper and parchment record in archives. These are actual pieces of correspondence which passed between historical actors. They are alsorelatively stable artefacts which can be preserved easily. Two ...
None
This publication provides a forum for projects in the medical, biological and biomedical domains as well as for grid projects that seek to integrate these. The overall objective is to reinforce and promote the awareness of the deployment of grid technology in health. The emphasis is on results of current grid projects in health care. This will show in the outcome of field tests and will identify deployment strategies for prototype applications in health care. In addition, outstanding problem areas and technological challenges are identified and new solutions to these issues are proposed. From Grid to Healthgrid is divided in four themes: - Knowledge and Data Management - Deployments of Grids in Health - Current Projects and - Ethical, Legal, Social and Security Issues. The papers show that healthgrid has matured beyond its original projects and is now tackling some difficult problems that seemed intractable up till two years ago.
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.