Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Resource Discovery, RED 2010, held in Paris, France, in November 2010. The 13 revised full papers - from 24 initial submissions - were carefully selected during a second round of reviewing and improvement from the lectures given at the workshop and are presented in extended version in the book. They deal with the following topics, resource discovery for composition, bioinformatics resource discovery, textual resource discovery, and web service discovery."

"This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography, encryption, cryptanalysis and automatic verification, and formal methods in network security."

"The contributions in this volume, presented at the 5th International Hydrocephalus Workshop in May 2010 in Crete, Greece, give the present state-of-the-art in timely diagnosis and treatment of hydrocephalus.The topics covered include advances in management of both pediatric and adult hydrocephalus, identifying shunt responders, clinical experiences in endoscopic third ventriculostomy, clinical trials, pathophysiology, experimental studies, and the new classification for hydrocephalus."

"This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012. The 23 long and 30 short revised papers were carefully reviewed and selected from a total of 99 submissions. The papers focus on the intersections and uncharted territories between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. In addition to the paper contributions the conference also included 3 invited speakers, who presented forefront research results and frontiers, and 3 tutorial talks, which were crucial in bringing together the different components of LION community."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010. The 37 revised full papers presented along with 7 papers from the allocated Dedicated Short Range Communications Workshop, DSRC 2010, were carefully selected from numerous submissions. Conference papers are organized into 9 technical sessions, covering the topics of cognitive radio networks, security, resource allocation, wireless protocols and algorithms, advanced networking systems, sensor networks, scheduling and optimization, routing protocols, multimedia and stream processing. Workshop papers are organized into two sessions: DSRC networks and DSRC security."

"This volume constitutes the refereed proceedings of the Third International ICST Conference, ADHOCNETS 2011, held in Paris, France, in September 2011. The 15 revised full papers - selected from 42 submissions - and the 2 invited papers cover several fundamental aspects of ad hoc networking, including security, quality of service, radio and spectrum analysis, mobility, energy efficiency, and deployment. They are organized in topical sections on security and QoS, WSN development and evaluation, radio and spectrum analysis, mobile WSNs, mobile ad hoc networks, and energy."

"This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods."

"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India, in November 2010. The 18 full papers presented together with 15 early innovation papers were carefully reviewed and selected from over 63 submissions. They focus on practical aspects of multiagent systems and cover topics such as agent communication, agent cooperation and negotiation, agent reasoning, agent-based simulation, mobile and semantic agents, agent technologies for service computing, agent-based system development, ServAgents workshop, IAHC workshop, and PRACSYS workshop."

"This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed."