Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
The 1st International Smart Design conference provides a timely forum and brings together researchers and practitioners to discuss issues, identify challenges and future directions, and share their R&D findings and experiences in the areas of design, materials and technology. This proceedings of the 1st Smart Design conference held at Nottingham Trent University in November 2011 includes summaries of the talks given on topics ranging from intelligent textiles design to pharmaceutical packaging to the impact of social and emotional factors on design choices with the aim of informing and inspiring future application and development of smart design.

Abstrak :
This book contains all refereed papers that were accepted to the second edition of the Complex Systems Design & Management (CSDM 2011) international conference that took place in Paris (France) from December 7 to December 9, 2011. These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (transport, defense & security, electronics, energy & environment, e-services), scientific & technical topics (systems fundamentals, systems architecture& engineering, systems metrics & quality, systemic tools) and system types (transportation systems, embedded systems, software & information systems, systems of systems, artificial ecosystems).

Abstrak :
This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2011, held in Leixlip, Ireland, in October 2011 held in conjunction with the Intel European Research and Innovation Conference, ERIC 2011. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on design science and processes, evaluation and utility, and applying design science.

Abstrak :
This book constitutes the refereed proceedings of workshops, held at the 31st International Conference on Conceptual Modeling, ER 2012, in Florence, Italy in October 2012. The 32 revised papers presented together with 6 demonstrations were carefully reviewed and selected from 84 submissions. The papers are organized in sections on the workshops CMS 2012, EDCM-NoCoDa, MODIC, MORE-BI, RIGIM, SeCoGIS and WISM. The workshops cover different conceptual modeling topics, from requirements, goal and service modeling, to evolution and change management, to non-conventional data access, and they span a wide range of domains including Web information systems, geographical information systems, business intelligence, data-intensive computing.

Abstrak :
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on understandability and cognitive approaches, conceptual modeling for datawarehousing and business intelligence, extraction, discovery and clustering, search and documents; data and process modeling, ontology based approaches, variability and evolution; adaptation, preferences and query refinement, queries, matching and topic search, and conceptual modeling in action.

Abstrak :
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named, SAT and SMT based methods, automata, model checking, case studies, memory models and termination, internet protocol verification, stochastic model checking, synthesis, provers and analysis techniques, tool demonstrations, and competition on software verification.

Abstrak :
This book gathers 23 papers by top experts from 11 countries, presented at the 3rd Houston International Forum: Concrete Structures in Earthquake. Designing infrastructures to resist earthquakes has always been the focus and mission of scientists and engineers located in tectonically active regions, especially around the Pacific Rim of Fire including China, Japan, and the USA. The pace of research and innovation has accelerated in the past three decades, reflecting the need to mitigate the risk of severe damage to interconnected infrastructures, and to facilitate the incorporation of high-speed computers and the internet. The respective papers focus on the design and analysis of concrete structures subjected to earthquakes, advance the state of knowledge in disaster mitigation, and address the safety of infrastructures in general.