Computing and Information Technology

This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ISAS 2006, held in Helsinki, Finland, in May 2006.

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.

This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling of Public Transport (CASPT 2004), which was held at the Hilton San Diego Resort and Conference Center in San Diego, California, USA, from August 9-11, 2004.

"e;The true sign of intelligence is not knowledge but imagination.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Asia Information Retrieval Symposium, AIRS 2008, held in Harbin, China, in May 2008.

This volume contains papers presented at TRUST 2008, the ?

The International Symposium on Smart Graphics 2007 was held during June 25-27, 2007 in Kyoto, Japan.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2008, held in Madrid, Spain, in June 2008.

This volume contains the papers presented at the inaugural workshop on Data Mining and Bioinformatics at the 32nd International Conference on Very Large Data Bases (VLDB).

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks.

This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of the same title.

These proceedings contain papers from the 27th FORTE conference.

Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

The papers contained in this volume were presented at the 19th Annual S- posium on Combinatorial Pattern Matching (CPM 2008) held at the University of Pisa, Italy, June 18-20, 2008.

As the medical information systems have been integrated in order to address the core of medicine, including patient care in ambulatory and in-patient setting, computer assisted diagnosis and treatment, telemedicine, and home care we are witnessing radical changes in the Information Technologies.

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.

We present in this volume the collection of finally accepted papers for the ninth e- tion of the IWANN conference ("e;International Work-Conference on Artificial Neural Networks"e;).

This book constitutes the refereed proceedings of the First International Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008.

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.

This volume contains the proceedings of the 4th International Conference on Service- Oriented Computing (ICSOC 2006), which took place in Chicago, USA, December 4-7, 2006.

This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008.

Welcome to the proceedings of the 2008 International Conference on Grid and Pervasive Computing (GPC 2008) which was held in Kunming, Yunnan, China, May 25-28, 2008.

As the variety and complexity of interactive systems increase, understanding how a system can dynamically capture relevant user needs and traits, and - tomatically adapting its interaction to this information, has become critical for devising e?

Thisvolumecontainstheproceedingsofthe?

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic.

VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic Issues in Wireless Sensor Networks, and Optical Networking.

This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

Welcome to the proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), which was held in Sorrento, Italy, December, 4-6 2006.

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?

Software validation is one of the most cost-intensive tasks in modern software production processes.

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006, held in Singapore in December 2006, colocated with ISCSLP 2006, the 5th International Symposium on Chinese Spoken Language Processing.

Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction.