The 37th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2011) took place in Tepl´a Monastery, Czech Republic, during June 21–24, 2011. It was attended by 80 participants who came from all over the world not only to deliver or listen to interesting talks, but also to celebrate the 65th birthday of Ludek...
It is an obvious fact now that the Internet is becoming part of our life. More and more
contents are delivered over the Internet. As the heterogeneity in the Internet increases,
content providers are considering adaptive content delivery to achieve better user
satisfaction. However, so far there are still no thorough study of how...
IRCDL is a yearly event for Italian researchersworking onDigital Libraries-related
topics. This year the focus of IRCDL was on information access and interoperability.
In fact Digital Library systems are starting to be mature, but it is time
to give a more effective and personalized access to information to users and to
improve...
Large-scale information systems in public utility services depend on computing
infrastructure. Many research efforts are being made in related areas, such as
cloud computing, sensor networks, mobile computing, high-level user interfaces
and information accesses by Web users. Government agencies in many countries
plan to launch...
This LNCS volume contains the papers accepted for presentation at the 18th
Working Conference on Requirements Engineering: Foundation for Software Quality
(REFSQ 2012), held in Essen, Germany, during March 19–22, 2012.
Requirements engineering (RE) has long been recognized as a major factor for
achieving high-quality...
Thinking in terms of facts and rules is perhaps one of the most common
ways of approaching problem definition and problem solving both in everyday
life and under more formal circumstances. The best known set of rules, the
Ten Commandments have been accompanying us since the times of Moses;
the Decalogue proved to be simple but...
This volume constitutes the proceedings of the 9th International Workshop on
Groupware (CRIWG 2003). The conference was held in the city of Autrans, on
the spectacular Vercors plateau in the foothills of the French Alps. The organizing
committee could not have thought of a better setting to inspire lively
discussions and reflection on...
The present book 1 provides a rigorous treatment and coherent presentation of
the consolidated results of the authors' work, over the past four years, on the
employment of logic programming as a representational and reasoning tool.
It comes out of a background of a world-wide research effort for at least the
past six years on the...
Traditional software verification algorithms work by using a
combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation,
to check and infer suitable program invariants. However, these
techniques are problematic in the presence of complex but ubiquitous
constructs like generic data structures, first-class functions....
Developing, testing and operating complex machinery and
repairing it under time pressure if it breaks down are some of the new
skills, professionals in many occupations have to learn as quickly as possible.
Actions on machinery and plants are trained in individual lessons
on an immersive virtual model. This paper introduces the...
CHES 2009, the 11th workshop on Cryptographic Hardware and Embedded
Systems, was held in Lausanne, Switzerland, September 6–9, 2009. The workshop
was sponsored by the International Association for Cryptologic Research
(IACR).
The workshop attracted a record number of 148 submissions from 29 countries,
of which the...
You are holding the proceedings of the 8th International Workshop on the
Economics of Grids, Clouds, Systems, and Services. This workshop brings together
the research and practitioner communities active in the area of economics
and computer science to address the emerging interest in infrastructure, platform,
and software services....