Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Information Security and Cryptology, Inscrypt 2011, held in Beijing, China, in November/December 2011. The 24 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 80 submissions. The papers present research advances in the areas of information security, cryptology, and their applications."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers presented were carefully reviewed and selected from 832 submissions. The papers are organized in topical sections on neural networks, machine learning theory and methods, fuzzy theory and models, fuzzy systems and soft computing, evolutionary learning & genetic algorithms, swarm intelligence and optimization, intelligent computing in computer vision, intelligent computing in image processing, biometrics with applications to individual security/forensic sciences, intelligent image/document retrievals, natural language processing and computational linguistics, intelligent data fusion and information security, intelligent computing in pattern recognition, intelligent agent and web applications, intelligent computing in scheduling, intelligent control and automation."

"This book constitutes revised selected papers from the international conference on advanced computing, networking and security, ADCONS 2011, held in Surathkal, India, in December 2011. The 73 papers included in this book were carefully reviewed and selected from 289 submissions. The papers are organized in topical sections on distributed computing, image processing, pattern recognition, applied algorithms, wireless networking, sensor networks, network infrastructure, cryptography, web security, and application security."

"The 19 revised full papers and the two poster papers cover various topics such as interaction and art, music and performance, and digital technology."

"This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Virtual and Networked Organizations, Emergent Technologies, and Tools, ViNOrg 2011, held in Ofir, Portugal, in July 2011. The 35 revised full papers presentedwere carefully reviewed and selected from over 60 initial submissions. The papers cover a wide range of topics, such as ubiquitous computing and organizations, cloud computing and architectures, grid computing, human-computer interfaces, serious games, data mining, Web services, cognitive systems, social networks and other emergent IT/IS approaches in various function domains, such as decision support systems, planning, design, control, negotiation, marketing, management and many other, in the context of virtual and networked enterprises and organizations."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile and Ubiquitous Systems, MobiQuitous 2010, held in Sydney, Australia, in December 2010. The 24 revised full papers presented were carefully reviewed and selected from 105 submissions. They cover a wide range of topics ranging from papers architectures to toolkits and mechanisms for privacy, energy efficiency and content awareness. In addition there are 11 work in progress papers and a selection of the best poster and workshop papers."

"The three-volume set LNCS 6838, LNAI 6839, and LNBI 6840 constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. This volume contains 93 revised full papers, from a total of 281 presentations at the conference - carefully reviewed and selected from 832 initial submissions. The papers address all issues in Advanced Intelligent Computing, especially Methodologies and Applications, including theories, methodologies, and applications in science and technology. They include a range of techniques such as artificial intelligence, pattern recognition, evolutionary computing, informatics theories and applications, computational neuroscience and bioscience, soft computing, human computer interface issues, etc."

"This book contains the thoroughly refereed and revised best papers from the 7th International Conference on Web Information Systems and Technologies, WEBIST 2011, held in Nordwijkerhout, The Netherlands, in May 2011, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), in collaboration with ACM SIGMIS and co-sponsored by the Workflow Management Coalition (WFMC). The 12 papers presented in this book were carefully reviewed and selected from 156 submissions. The papers are grouped into tow parts on "Internet Technology" and "Web Interfaces and Applications". In addition, the three invited presentations are also included."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile Multimedia Communications (MOBIMEDIA 2011) held in Cagliari, Italy, in September 2011 The 26 revised full papers presented were carefully selected from numerous submissions and focus topics such as quality of experience, dynamic spectrum access wireless networks in the TV white spaces, media streaming, mobile visual search, image processing and transmission, and mobile applications."