Hasil Pencarian  ::  Simpan CSV :: Kembali

"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-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces"

"This book constitutes the refereed proceedings of the 8th International Joint Conference on E-Business and Telecommunications, ICETE 2011, held in Seville, Spain in July 2011. The 118 revised full papers presented were carefully reviewed and selected from 409 submissions. The topics covered are data communication networking, e-business, optical communication systems, security and cryptography, signal processing and multimedia applications, and wireless networks and information systems. These are the main knowledge areas that define the six component conferences, namely: DCNET, ICE-B, OPTICS, SECRYPT, SIGMAP, and WINSYS which together form the ICETE joint conference."

"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 Third International ICST Conference on Mobile Networks and Managements (MONAMI 2011) held in Aveiro, Portugal, in September 2011. The 30 revised full papers were carefully selected from numerous submissions and are organized thematically in 5 parts. These are mobile and wireless networks, self organized and mesh networks, new approaches for network visualization, network services, and security"

"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 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 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrücken, Germany, in September 2011. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms."

"This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are five extended abstracts and three invited talks. The papers represent the diversity and vitality in present ILP research including ILP theory, implementations, probabilistic ILP, biological applications, sub-group discovery, grammatical inference, relational kernels, learning of Petri nets, spatial learning, graph-based learning, and learning of action models."

"This book constitutes the refereed post-proceedings of the International Conference on Mathematical Modeling and Computational Physics, MMCP 2011, held in Stará Lesná, Slovakia, in July 2011. The 41 revised papers presented were carefully reviewed and selected from numerous submissions. They are organized in topical sections on mathematical modeling and methods, numerical modeling and methods, computational support of the experiments, computing tools, and optimization and simulation."