Actas de Las VIII Jornadas de Concurrencia


Book Description

La proliferación actual de sistemas concurrentes, en general debido al abaratamiento sustancial de poderosos sistemas de cómputo, y el auge, cada vez mayor, que toman las aplicaciones distribuidas, hace que cada vez sea más interesante el estudio de los sistemas concurrentes en todos los aspectos de la Informática. La mayor complejidad y tamaño de los secuenciales convencionales exige el uso de técnicas adecuadas tanto para su diseño y análisis, como para su posterior implementación práctica. Este libro contiene las comunicaciones que han sido presentadas en la Octava edición de las Jornadas de Concurrencia, celebradas en Cuenca en junio de 2000. Este es un foro para el intercambio de experiencias entre los investigadores nacionales tanto de la Universidad como de la Industria en el campo de los sistemas concurrentes, y por tanto en él se muestran tanto los resultados teóricos como las aplicaciones industriales más recientes en esta materia.




Concurrencia y sistemas distribuidos


Book Description

In extensive sense, the content of the book treats aspects related to the concurrent systems and distributed of investigators or lines of emerging work that have a quality very remarcabale, all they presented in the XI Days of Assembly, that took place in Benicassim you gave them 11, 12 and 13 of June of 2003




Databases in Networked Information Systems


Book Description

This book constitutes the refereed proceedings of the Third International Workshop on Databases in Networked Information Systems, DNIS 2003, held in Aizu, Japan in September 2003. The 11 revised full papers presented together with 9 invited papers were carefully reviewed and selected for presentation. The papers are organized in topical sections on Web intelligence, information interchange and management systems, information interchange among cyber communities, knowledge annotation and visualization.




Formal Methods and Stochastic Models for Performance Evaluation


Book Description

This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.




Formal Methods for Mobile Computing


Book Description

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.







Divination on stage


Book Description

Magicians, necromancers and astrologers are assiduous characters in the European golden age theatre. This book deals with dramatic characters who act as physiognomists or palm readers in the fictional world and analyses the fictionalisation of physiognomic lore as a practice of divination in early modern Romance theatre from Pietro Aretino and Giordano Bruno to Lope de Vega, Calderón de la Barca and Thomas Corneille.




Theory in Archaeology


Book Description

A unique volume that brings together contributors from all over the world to provide the first truly global perspective on archaeological theory, and tackle the crucial questions facing archaeology in the 1990s. Can one practice without theory?




Children, Spaces and Identity


Book Description

How do children construct, negotiate and organize space? The study of social space in any human group is fraught with limitations, and to these we must add the further limits involved in the study of childhood. Here specialists from archaeology, history, literature, architecture, didactics, museology and anthropology build a body of theoretical and methodological approaches about how space is articulated and organized around children and how this disposition affects the creation and maintenance of social identities. Children are considered as the main actors in historic dynamics of social change, from prehistory to the present day. Notions on space, childhood and the construction of both the individual and the group identity of children are considered as a prelude to papers that focus on analyzing and identifying the spaces which contribute to the construction of children’s identity during their lives: the places they live, learn, socialize and play. A final section deals with these same aspects, but focuses on funerary contexts, in which children may lose their capacity to influence events, as it is adults who establish burial strategies and practices. In each case authors ask questions such as: how do adults construct spaces for children? How do children manage their own spaces? How do people (adults and children) build (invisible and/or physical) boundaries and spaces?




Geographic Information Metadata for Spatial Data Infrastructures


Book Description

Metadata play a fundamental role in both DLs and SDIs. Commonly defined as "structured data about data" or "data which describe attributes of a resource" or, more simply, "information about data", it is an essential requirement for locating and evaluating available data. Therefore, this book focuses on the study of different metadata aspects, which contribute to a more efficient use of DLs and SDIs. The three main issues addressed are: the management of nested collections of resources, the interoperability between metadata schemas, and the integration of information retrieval techniques to the discovery services of geographic data catalogs (contributing in this way to avoid metadata content heterogeneity).