Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area."

"This book constitutes the thoroughly refereed post-conference proceedings of the First International Joint Conference on Green Communication and Networking (GreeNets 2011), held in Colmar, France, on October 5-7, 2011. The 16 revised full papers presented were carefully selected and reviewed from numerous submissions and explain the scope and challenges of designing, building, and deploying GreeNets. In this regard, the conference aims to establish a forum to bring together research professionals from diverse fields including green mobile networks, system architectures, networking & communication protocols, applications, test-bed and prototype, traffic balance and energy-efficient cooperation transmission, system and application issues related to GreenNets."

"This book constitutes the refereed proceedings of the Second International ICST Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2011, held on Kos Island, Greece, in October 2011. The 60 revised full papers presented were carefully reviewed and selected from more than 80 submissions. The papers are organized in 10 sessions and two workshops with topics covering intrabody communications, chronic disease monitoring and management, ambient assistive technologies, implantable and wearable sensors, emergency and disaster applications."

"This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. "

"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 6th International ICST Conference on Wireless Internet (WICON 2011) held in Xi’an, Shaanxi, China in October 2011. The 55 revised full papers were carefully selected from numerous submissions and focus on research in telecommunication and networking and development in information and communication technologies. The papers are presented in 10 technical sessions and cover topics as video streaming over OFDMA downlink systems, cognitive radio networks, distributed antenna systems, joint source channel coding, multiuser MIMO systems, signal detection, frequency synchronization in 3GPP LTE systems, visual cognitive radio, wireless relay networks, and network flow identifying methods."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches."

"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."

"This book constitutes the proceedings of the 4th International Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 11). The 20 full papers, 3 posters, 10 demos and 4 workshops presented were carefully selected from numerous submissions. The conference aims enhancing the understanding of recent and anticipated advances in interactive technologies, and their applications to entertainment, education, culture, and the arts. Interaction technologies are having relevant changes in the last years, and will influence the way users consume and interact with the media and applications, both locally and over the Internet. The explosion of natural, multimodal, and touch based interfaces, and their access to the general public, has made new interaction paradigms a reality."

"This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010. The 18 revised full papers presented together with 12 revised poster papers were carefully reviewed and selected from numerous submissions. The conference papers are organized in seven technical sessions, covering the topics of mobile pervasive applications, system issues, location-aware services, mobile phone based systems, mobile Web and services, tools for mobile environments, and mobile application development issues."