Page 1
Page 1
Ontologies for Software Engineering and Software Technology
The editors structured the contributions into three parts: first, a detailed introduction into the use of ontologies in software engineering and software technology in general; second, the use of ontologies to conceptualize different process-related domains such as software maintenance, software measurement, or SWEBOK, initiated by IEEE; third, the use of ontologies as artifacts in several software processes, like, for example, in OMG’s MOF or MDA.
Mysteries of the Rectangle : Essays on painting
In Mysteries of the Rectangle, Hustvedt concentrates her narrative gifts on the works of such masters as Francisco Goya, Jan Vermeer, Jean-Baptiste-Siméon Chardin, Gerhard Richter, and Joan Mitchell. Through her own personal experiences, Hustvedt is able to reveal things until now hidden in plain sight: an egglike detail in Vermeer's Woman with a Pearl Necklace and the many hidden self-portraits in Goya's series of drawings, Los Caprichos, as well as in his infamous painting The Third of May. Most importantly, these essays exhibit the passion, thrill, and sheer pleasure of bewilderment a work of art can produce—if you simply take the time to look.
Model Checking Software ; Vol. 3639 : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
Mediation in Collective Labor Conflicts
This book opens up the black box of mediation in collective conflicts through the analyses and comparisons of various systems. Mediation and related third party interventions such as conciliation and facilitation are discussed as effective prevention and regulation tools for different types of collective labor conflicts. These interventions fit in a new developed five-phase model of collective conflicts in organizations, going from capacity building in latent conflicts, through conciliation, mediation and arbitration in escalating phases, to rebuilding of trust after hot conflicts. The book regards to labor mediation systems, presenting comparative research on the perspectives of mediators and
Interstitial fibrosis in heart failure
Interstitial Fibrosis in Heart Failure, edited by Francisco J. Villarreal, M.D., Ph.D., provides a timely and integrative review of the basics of cardiac extracellular matrix structure. Topics covered include how cardiac remodeling influences its disposition, abundance and function; possible non-invasive techniques for diagnosis; and potential drug-based or molecular therapeutic strategies that may interrupt or even reverse the course of the development of cardiac fibrosis. This resource for both clinicians and scientists aims to cover state-of-the-art findings relevant to cellular and molecular processes underlying cardiac fibrosis including basic elements of structure, function, diagnosis and treatment.
International Economic Policy Coordination
The book investigates the interplay of brand equity and technological assets at the corporate level. In a grounded theory approach it develops a model of how companies in technology intensive industries can improve the appropriation of the returns of their intangible technological assets with the help of brand equity and thus improve their competitiveness. The theoretical discussions are supported by two extensive case studies on Bayer Aspirin and Cisco Systems as well as an extensive econometric analysis. The developed model points out how the strategic relevance of immaterial technological assets and brand equity develop along the technology-life-cycle and indicates how companies can, by an integrated technology and brand equity management, appropriate the returns of their initial technological advantage in the long-run. The implications of the findings for business companies as well as researchers are clearly revealed.
Intellectual Property Management : The Role of Technology-Brands in the Appropriation of Technological Innovation
The book investigates the interplay of brand equity and technological assets at the corporate level. In a grounded theory approach it develops a model of how companies in technology intensive industries can improve the appropriation of the returns of their intangible technological assets with the help of brand equity and thus improve their competitiveness. The theoretical discussions are supported by two extensive case studies on Bayer Aspirin and Cisco Systems as well as an extensive econometric analysis. The developed model points out how the strategic relevance of immaterial technological assets and brand equity develop along the technology-life-cycle and indicates how companies can, by an integrated technology and brand equity management, appropriate the returns of their initial technological advantage in the long-run. The implications of the findings for business companies as well as researchers are clearly revealed.
Information security and cryptology ; Vol. 4318 ; 2nd SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences. This international conf- ence was held in Beijing, China and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate University of Chinese Academy of Sciences and the National Natural Science Foundations of China. The c- ference proceedings, with contributed papers, are published by Springer in this volume of Lecture Notes in Computer Science (LNCS).
Information security and cryptology ; Vol. 3822 ; 1st SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
The first SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17, 2005 and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference.
Information Security and Cryptology ; 3rd SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third SKLOIS (State Key Laboratory of Information Security) Conference on Information Security and Cryptology, Inscrypt 2007 (formerly CISC), held in Xining, China, in August/September 2007.The 33 revised full papers and 10 revised short papers presented together with 2 invited papers were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on digital signature schemes, block cipher, key management, zero knowledge and secure computation protocols, secret sharing, stream cipher and pseudorandomness.
Information Security and Cryptology - ICISC 2007 ; 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Information Security and Cryptology, ICISC 2007, held in Seoul, Korea, November 29-30, 2007.
Information Security and Cryptology – ICISC 2006; 9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Information Security and Cryptology, ICISC 2006, held in Busan, Korea in November/December 2006. The 26 revised full papers cover such topics as hash functions, block and stream ciphers, network security and access control, mobile communications security, forensics, copyright protection, biometrics, public key cryptosystems, and digital signatures.
Information Security and Cryptology - ICISC 2005 ; 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Paper
This book constitutes the thoroughly refereed postproceedings of the 8th International Conference on Information Security and Cryptology, ICISC 2005, held in Seoul, Korea in December 2005. The 32 revised full papers presented together with two invited talks have gone through two rounds of reviewing and improvement and were selected from 192 submissions. The papers are organized in topical sections on key management and distributed cryptography, authentication and biometrics, provable security and primitives, system and network security, block ciphers and stream ciphers, efficient implementations, digital rights management, and public key cryptography
Information Security and Cryptology - ICISC 2004 ; 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers
The 7th International Conference on Information Security and Cryptology was organized by the Korea Institute of Information Security and Cryptology (KIISC) and was sponsored by the Ministry of Information and Communi- tion of Korea. The conference received 194 submissions, and the Program Committee - lected 34 of these for presentation. The conference program included two invited lectures.MikeReiterspokeon“Securityby,andfor,ConvergedMobileDevices.” And Frank Stajano spoke on “Security for Ubiquitous Computing.” We would like to ?rst thank the many researchers from all over the world who subm- ted their work to this conference. An electronic submission process was ava- able. The submission review process had two phases. In the ?rst phase, Program Committeememberscompiledreports(assisteda...
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Hybrid metaheuristics ; Vol. 4030 ; 3rd International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
The selection of papers for HM 2006 consolidated some of the mainstream issues that have emerged from the past editions. Firstly, there are prominent examples of e?ective hybrid techniques whose design and implementation were motivated by challenging real-world applications. We believe this is particularly important for two reasons: on the one hand, researchers are conscious that the primary goal of developing algorithms is to solve relevant real-life problems; on the other hand, the path towarde?cient solving methods for practical problems is a source of new outstanding ideas and theories. A second important issue is that the research community on metaheur- tics has become increasingly interested in and open to techniques and methods known from arti?cial intelligence (AI) and operations research (OR). So far, the most representative examples of such integration have been the use of AI/OR techniques as subordinates of metaheuristic methods. As a historical and - ymological note, this is in perfect accordance with the original meaning of a metaheuristic as a “general strategy controlling a subordinate heuristic. ” The awareness of the need for a sound experimental methodology is a third keypoint.
Host-pathogen interactions : Methods and protocols
Serves as multidisciplinary compendium of approaches and techniques employed to analyze the role of different molecules, processes, or strategies used by different guests to survive and proliferate in their associations with eukaryotic hosts. Beginning with animal-pathogen interactions, the book then continues with chapters exploring virus-host interactions, plant-microbe interactions, as well as different molecular techniques that were initially applied to non-pathogenic interactions but can be adapted to study other host-pathogen associations. Written for the highly successful Methods in Molecular Biology series, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step and readily reproducible laboratory protocols, as well as tips for troubleshooting and avoiding known pitfalls.
Guide to RISC Processors : for Programmers and Engineers
This guidebook provides an accessible and all-encompassing compendium on RISC processors, introducing five RISC processors: MIPS, SPARC, PowerPC, ARM, and Itanium. Initial chapters explain the differences between the CISC and RISC designs and clearly discuss the core RISC design principles. The text then integrates instruction on MIPS assembly language programming, thereby enabling readers to concretely grasp concepts and principles introduced earlier. Readers need only have a basic knowledge of any structured, high-level language to obtain the full benefits here.
Graph-based representations in pattern recognition ; 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings
Constitutes the refereed proceedings of the 6th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2007, held in Alicante, Spain in June 2007.
Gastroesophageal reflux disease : From pathophysiology to treatment
Offers a state-of-the-art description of the pathophysiology, diagnosis and treatment of gastroesophageal reflux disease (GERD). Although GERD is one of the most common gastrointestinal disorders, its diagnosis and management are often challenging. Expert physicians provide an evidence- and experience-based analysis in each chapter.
