The International Workshop on Power and Timing Modeling, Optimization, and Simulation PATMOS 2002, was the 12th in a series of international workshops 1 previously held in several places in Europe. PATMOS has over the years evolved into a well-established and outstanding series of open European events on power and timing aspects of integrated circuit design. The increased interest, espe- ally in low-power design, has added further momentum to the interest in this workshop. Despite its growth, the workshop can still be considered as a very - cused conference, featuring high-level scienti?c presentations together with open discussions in a free and easy environment. This year, the workshop has been opened to both regular papers and poster presentations. The increasing number of worldwide high-quality submissions is a measure of the global interest of the international scienti?c community in the topics covered by PATMOS. The objective of this workshop is to provide a forum to discuss and inves- gate the emerging problems in the design methodologies and CAD-tools for the new generation of IC technologies. A major emphasis of the technical program is on speed and low-power aspects with particular regard to modeling, char- terization, design, and architectures. The technical program of PATMOS 2002 included nine sessions dedicated to most important and current topics on power and timing modeling, optimization, and simulation. The three invited talks try to give a global overview of the issues in low-power and/or high-performance circuit design. Erscheinungsdatum: 28.08.2002

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995. The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

The International Workshop on Power and Timing Modeling, Optimization, and Simulation PATMOS 2002, was the 12th in a series of international workshops 1 previously held in several places in Europe. PATMOS has over the years evolved into a well-established and outstanding series of open European events on power and timing aspects of integrated circuit design. The increased interest, espe- ally in low-power design, has added further momentum to the interest in this workshop. Despite its growth, the workshop can still be considered as a very - cused conference, featuring high-level scienti?c presentations together with open discussions in a free and easy environment. This year, the workshop has been opened to both regular papers and poster presentations. The increasing number of worldwide high-quality submissions is a measure of the global interest of the international scienti?c community in the topics covered by PATMOS. The objective of this workshop is to provide a forum to discuss and inves- gate the emerging problems in the design methodologies and CAD-tools for the new generation of IC technologies. A major emphasis of the technical program is on speed and low-power aspects with particular regard to modeling, char- terization, design, and architectures. The technical program of PATMOS 2002 included nine sessions dedicated to most important and current topics on power and timing modeling, optimization, and simulation. The three invited talks try to give a global overview of the issues in low-power and/or high-performance circuit design. Erscheinungsdatum: 28.08.2002

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated circuits and systems. We realized this vision this year by providing a technical program that contained state-of-the-art technical contributions, a keynote speech, three invited talks and two embedded tutorials. The technical program focused on timing, performance and power consumption, as well as architectural aspects, with particular emphasis on modelling, design, charac- rization, analysis and optimization in the nanometer era. This year a record 152 contributions were received to be considered for p- sible presentation at PATMOS. Despite the choice for an intense three-day m- ting, only 51 lecture papers and 34 poster papers could be accommodated in the single-track technical program. The Technical Program Committee, with the - sistance of additional expert reviewers, selected the 85 papers to be presented at PATMOS and organized them into 13 technical sessions. As was the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were received per manuscript. Erscheinungsdatum: 07.09.2004

The International Workshop on Power and Timing Modeling, Optimization, and Simulation PATMOS 2002, was the 12th in a series of international workshops 1 previously held in several places in Europe. PATMOS has over the years evolved into a well-established and outstanding series of open European events on power and timing aspects of integrated circuit design. The increased interest, espe- ally in low-power design, has added further momentum to the interest in this workshop. Despite its growth, the workshop can still be considered as a very - cused conference, featuring high-level scienti?c presentations together with open discussions in a free and easy environment. This year, the workshop has been opened to both regular papers and poster presentations. The increasing number of worldwide high-quality submissions is a measure of the global interest of the international scienti?c community in the topics covered by PATMOS. The objective of this workshop is to provide a forum to discuss and inves- gate the emerging problems in the design methodologies and CAD-tools for the new generation of IC technologies. A major emphasis of the technical program is on speed and low-power aspects with particular regard to modeling, char- terization, design, and architectures. The technical program of PATMOS 2002 included nine sessions dedicated to most important and current topics on power and timing modeling, optimization, and simulation. The three invited talks try to give a global overview of the issues in low-power and/or high-performance circuit design. Erscheinungsdatum: 28.08.2002

During the last years we have seen the emergence and rapid growth of the logic programming field.

This State-of-the-art Monograph Presents A Coherent Survey Of A Variety Of Methods And Systems For Formal Hardware Verification. It Emphasizes The Presentation Of Approaches That Have Matured Into Tools And Systems Usable For The Actual Verification Of Nontrivial Circuits. All In All, The Book Is A Representative And Well-structured Survey On The Success And Future Potential Of Formal Methods In Proving The Correctness Of Circuits. The Various Chapters Describe The Respective Approaches Supplying Theoretical Foundations As Well As Taking Into Account The Application Viewpoint. By Applying All Methods And Systems Presented To The Same Set Of Ifip Wg10.5 Hardware Verification Examples, A Valuable And Fair Analysis Of The Strenghts And Weaknesses Of The Various Approaches Is Given. Symbolic Trajectory Evaluation / Scott Hazelhurst And Carl-johan H. Seger -- Verification With Abstract State Machines Using Mdgs / E. Cerny [and Others] -- Design Verification Using Synchronized Transitions / Jørgen Staunstrup -- Hardware Verification Using Pvs / Mandayam Srivas, Harald Ruess, And David Cyrluk -- Verifying Vhdl Designs With Cospan / Kathi Fisler And Robert P. Kurshan -- The C@s System / Klaus Schneider And Thomas Kropf -- Appendix : The Common Book Examples / Thomas Kropf. Thomas Kropf, Ed. Includes Bibliographical References (p. [349]-367).

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knolwedge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. The 6 revised full papers presented together with 4 invited papers and a survey on the state of the art in the field, were carefully reviewed and selected for inclusion in the book. The SDKB workshop presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory and other mathematical theories of semantics for database and knowledge bases, computational linguistics and semiotics, and information and knowledge-based systems. Erscheinungsdatum: 06.11.2008

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G ́erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

xix, 482 p. : 24 cm Original ed. published: London : McGraw-Hill ; Piscataway, NJ : IEEE Press, 1995 Includes bibliographical references and index

This book constitutes the refereed proceedings of the 10th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2000, held in Göttingen, Germany in September 2000. The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on RTL power modeling, power estimation and optimization, system-level design, transistor level design, asynchronous circuit design, power efficient technologies, design of multimedia processing applications, adiabatic design and arithmetic modules, and analog-digital circuit modeling.

Content: Conference Officers , Pages iii-iv Program Committees , Pages v-vi Infrastructure for Information Systems , Page vii Additional Reviewers , Pages viii-ix Sponsors , Pages x-xi The VLDB Endowment , Page xii Preface , Page xiii , Fred Lochovsky, Wang Shan Foreword , Pages xiv-xv , Philip A. Bernstein, Yannis E. Ioannidis, Raghu Ramakrishnan Chapter 1 - Data Routing Rather than Databases: The Meaning of the Next Wave of the Web Revolution to Data Management , Page 3 , Adam Bosworth Chapter 2 - Foundation Matters , Pages 4-5 , C.J. Date Chapter 3 - Wireless Graffiti — Data, data everywhere , Pages 9-19 , Tomasz Imielinski, Badri Nath Chapter 4 - Self-tuning Database Technology and Information Services: From Wishful Thinking to Viable Engineering , Pages 20-31 , Gerhard Weikum, Axel Moenkeberg, Christof Hasse, Peter Zabback Chapter 5 - Referee: An open framework for practical testing of recommender systems using ResearchIndex , Pages 35-46 , Dan Cosley, Steve Lawrence, David M. Pennock Chapter 6 - Adaptable Similarity Search using Non-Relevant Information , Pages 47-58 , Ashwin T.V., Rahul Gupta, Sugata Ghosal Chapter 7 - Sideway Value Algebra for Object-Relational Databases , Pages 59-70 , G Özsoyoğlu, A Al-Hamdani, I.S Altıngövde, S.A Özel, Ö Ulusoy, Z.M Özsoyoğlu Chapter 8 - Database Selection Using Actual Physical and Acquired Logical Collection Resources in a Massive Domain-specific Operational Environment , Pages 71-82 , Jack G. Conrad, Xi S. Guo, Peter Jackson, Monem Meziou Chapter 9 - Structural Function Inlining Technique for Structurally Recursive XML Queries , Pages 83-94 , Chang-Wong Park, Jun-Ki Min, Chin-Wan Chung Chapter 10 - Efficient Algorithms for Processing XPath Queries , Pages 95-106 , Georg Gottlob, Christoph Koch, Reinhard Pichler Chapter 11 - Incorporating XSL Processing Into Database Engines , Pages 107-118 , Guido Moerkotte Chapter 12 - Optimizing View Queries in ROLEX to Support Navigable Result Trees , Pages 119-130 , P. Bohannon, S. Ganguly, H.F. Korth, P.P.S. Narayan, P. Shenoy Chapter 13 - Chip-Secured Data Access: Confidential Data on Untrusted Servers , Pages 131-142 , Luc Bouganim, Philippe Pucheral Chapter 14 - Hippocratic Databases , Pages 143-154 , Rakesh Agrawal, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu Chapter 15 - Watermarking Relational Databases , Pages 155-166 , Rakesh Agrawal, Jerry Kiernan Chapter 16 - Parametric Query Optimization for Linear and Piecewise Linear Cost Functions , Pages 167-178 , Arvind Hulgeri, S. Sudarshan Chapter 17 - Plan Selection based on Query Clustering , Pages 179-190 , Antara Ghosh, Jignashu Parikh, Vibhuti S. Sengar, Jayant R. Haritsa Chapter 18 - Generic Database Cost Models for Hierarchical Memory Systems , Pages 191-202 , Stefan Manegold, Peter Boncz, Martin L. Kersten Chapter 19 - Streaming Queries over Streaming Data , Pages 203-214 , Sirish Chandrasekaran, Michael J. Franklin Chapter 20 - Monitoring Streams — A New Class of Data Management Applications , Pages 215-226 , Don Carney, Uğur Çetintemel, Mitch Cherniack, Christian Convey, Sangdon Lee, Greg Seidman, Nesime Tatbul, Stan Zdonik, Michael Stonebraker Chapter 21 - A Transducer-Based XML Query Processor , Pages 227-238 , Bertram Ludäscher, Pratik Mukhopadhyay, Yannis Papakonstantinou Chapter 22 - Updates for Structure Indexes , Pages 239-250 , Raghav Kaushik, Jeffrey F Naughton, Philip Bohannon, Pradeep Shenoy Chapter 23 - RE-Tree: An Efficient Index Structure for Regular Expressions , Pages 251-262 , Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Chapter 24 - Efficient Structural Joins on Indexed XML Documents , Pages 263-274 , Shu-Yao Chien, Zografoula Vagena, Donghui Zhang, Vassilis J. Tsotras, Carlo Zaniolo Chapter 25 - Shooting Stars in the Sky: An Online Algorithm for Skyline Queries , Pages 275-286 , Donald Kossmann, Frank Ramsak, Steffen Rost Chapter 26 - Continuous Nearest Neighbor Search , Pages 287-298 , Yufei Tao, Dimitris Papadias, Qiongmao Shen Chapter 27 - Progressive Merge Join: A Generic and Non-Blocking Sort-Based Join Algorithm , Pages 299-310 , Jens-Peter Dittrich, Bernhard Seeger, David Scot Taylor, Peter Widmayer Chapter 28 - Foundations of Preferences in Database Systems , Pages 311-322 , Werner Kießling Chapter 29 - Multi-Dimensional Regression Analysis of Time-Series Data Streams , Pages 323-334 , Yixin Chen, Guozhu Dong, Jiawei Han, Benjamin W. Wah, Jianyoung Wang Chapter 30 - Comparing Data Streams Using Hamming Norms (How to Zero In) , Pages 335-345 , Graham Cormode, Mayur Datar, Piotr Indyk, S. Muthukrishnan Chapter 31 - Approximate Frequency Counts over Data Streams , Pages 346-357 , Gurmeet Singh Manku, Rajeev Motwani Chapter 32 - StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time , Pages 358-369 , Yunyue Zhu, Dennis Shasha Chapter 33 - Optimizing Result Prefetching in Web Search Engines with Segmented Indices , Pages 370-381 , Ronny Lempel, Shlomo Moran Chapter 34 - I/O-Conscious Data Preparation for Large-Scale Web Search Engines , Pages 382-393 , Maxim Lifantsev, Tzi-cker Chiueh Chapter 35 - Distributed Search over the Hidden Web: Hierarchical Database Sampling and Selection , Pages 394-405 , Panagiotis G. Ipeirotis, Luis Gravano Chapter 36 - Exact Indexing of Dynamic Time Warping , Pages 406-417 , Eamonn Keogh Chapter 37 - Adaptive Index Structures , Pages 418-429 , Yufei Tao, Dimitris Papadias Chapter 38 - A Case for Fractured Mirrors , Pages 430-441 , Ravishankar Ramamurthy, David J. DeWitt, Qi Su Chapter 39 - XPathLearner: An On-Line Self-Tuning Markov Histogram for XML Path Selectivity Estimation , Pages 442-453 , Lipyeow Lim, Min Wang, Sriram Padmanabhan, Jeffrey Scott Vitter, Ronald Parr Chapter 40 - How to Summarize the Universe: Dynamic Maintenance of Quantiles , Pages 454-465 , Anna C. Gilbert, Yannis Kotidis, S. Muthukrishnan, Martin J. Strauss Chapter 41 - Structure and Value Synopses for XML Data Graphs , Pages 466-477 , Neoklis Polyzotis, Minos Garofalakis Chapter 42 - Compressed Accessibility Map: Efficient Access Control for XML , Pages 478-489 , Ting Yu, Laks V.S. Lakshmanan, Divesh Srivastava, H.V. Jagadish Chapter 43 - Optimizing the Secure Evaluation of Twig Queries , Pages 490-501 , SungRan Cho, Laks V.S. Lakshmanan, Sihem Amer-Yahia, Divesh Srivastava Chapter 44 - Provisions and Obligations in Policy Management and Security Applications , Pages 502-513 , Claudio Bettini, Sushil Jajodia, X. Sean Wang, Duminda Wijesekera Chapter 45 - Effective Change Detection Using Sampling , Pages 514-525 , Junghoo Cho, Alexandros Ntoulas Chapter 46 - Maintaining Coherency of Dynamic Data in Cooperating Repositories , Pages 526-537 , Shetal Shah, Krithi Ramaritham, Prashant Shenoy Chapter 47 - A Bandwidth Model for Internet Search , Pages 538-549 , Axel Uhl Chapter 48 - Using Latency-Recency Profiles for Data Delivery on the Web , Pages 550-561 , Laura Bright, Louiqa Raschid Chapter 49 - View Invalidation for Dynamic Content Caching in Multitiered Architectures , Pages 562-573 , K. Selçuk Candan, Divyakant Agrawal, Wen-Syan Li, Oliver Po, Wang-Pin Hsiung Chapter 50 - Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services , Pages 574-585 , Samuel Kounev, Alejandro Buchmann Chapter 51 - Eliminating Fuzzy Duplicates in Data Warehouses , Pages 586-597 , Rohit Ananthakrishna, Surajit Chaudhuri, Venkatesh Ganti Chapter 52 - Translating Web Data , Pages 598-609 , Lucian Popa, Yannis Velegrakis, Renée J. Miller, Mauricio A. Hernández, Ronald Fagin Chapter 53 - COMA — A system for flexible combination of schema matching approaches , Pages 610-621 , Hong-Hai Do, Erhard Rahm Chapter 54 - Efficient Exploration of Large Scientific Databases , Pages 622-633 , Etzard Stolte, Gustavo Alonso Chapter 55 - Searching on the Secondary Structure of Protein Sequences , Pages 634-645 , Laurie Hammel, Jignesh M. Patel Chapter 56 - ProTDB: Probabilistic Data in XML , Pages 646-657 , Andrew Nierman, H.V. Jagadish Chapter 57 - Fast and accurate text classification via multiple linear discriminant projections , Pages 658-669 , Soumen Chakrabarti, Shourya Roy, Mahesh V. Soundalgekar Chapter 58 - Discover: Keyword Search in Relational Databases , Pages 670-681 , Vagelis Hristidis, Yannis Papakonstantinou Chapter 59 - Maintaining Data Privacy in Association Rule Mining , Pages 682-693 , Shariq J. Rizvi, Jayant R. Haritsa Chapter 60 - A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints , Pages 694-705 , Pinar Senkul, Michael Kifer, Ismail H. Toroslu Chapter 61 - An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems , Pages 706-717 , Stephen Blott, Henry F. Korth Chapter 62 - Lightweight Flexible Isolation for Language-based Extensible Systems , Pages 718-729 , Laurent Daynès, Grzegorz Czajkowski Chapter 63 - Processing Star Queries on Hierarchically-Clustered Fact Tables , Pages 730-741 , Nikos Karayannidis, Aris Tsois, Timos Sellis, Roland Pieringer, Volker Markl, Frank Ramsak, Robert Fenk, Klaus Elhardt, Rudolf Bayer Chapter 64 - Exploiting Versions for On-line Data Warehouse Maintenance in MOLAP Servers , Pages 742-753 , Heum-Geun Kang, Chin-Wan Chung Chapter 65 - FAS — a Freshness-Sensitive Coordination Middleware for a Cluster of OLAP Components , Pages 754-765 , Uwe Röhm, Klemens Böhm, Hans-Jörg Schek, Heiko Schuldt Chapter 66 - The Generalized MDL Approach for Summarization , Pages 766-777 , Laks V.S. Lakshmanan, Raymond T. Ng, Christine Xing Wang, Xiaodong Zhou, Theodore J. Johnson Chapter 67 - Quotient Cube: How to Summarize the Semantics of a Data Cube , Pages 778-789 , Laks V.S. Lakshmanan, Jian Pei, Jiawei Han Chapter 68 - A One-Pass Aggregation Algorithm with the Optimal Buffer Size in Multidimensional OLAP , Pages 790-801 , Young-Koo Lee, Kyu-Young Whang, Yang-Sae Moon, Il-Yeol Song Chapter 69 - Incremental Maintenance for Non-Distributive Aggregate Functions , Pages 802-813 , Themistoklis Palpanas, Richard Sidle, Roberta Cochrane, Hamid Pirahesh Chapter 70 - Reverse Nearest Neighbor Aggregates Over Data Streams , Pages 814-825 , Flip Korn, S. Muthukrishnan, Divesh Srivastava Chapter 71 - Tree Pattern Aggregation for Scalable XML Data Dissemination , Pages 826-837 , Chee-Yong Chan, Wenfei Fan, Pascal Felber, Minos Garofalakis, Rajeev Rastogi Chapter 72 - DTD-Directed Publishing with Attribute Translation Grammars , Pages 838-849 , Michael Benedikt, Chee Yong Chan, Wenfei Fan, Rajeev Rastogi, Shihui Zheng, Aoying Zhou Chapter 73 - A Multi-version Cache Replacement and Prefetching Policy for Hybrid Data Delivery Environments , Pages 850-861 , André Seifert, Marc H. Scholl Chapter 74 - Data Management Challenges in Very Large Enterprises , Page 865 , Michael L. Brodie Chapter 75 - The Future Home of Data , Pages 866-867 , Johann-Christoph Freytag Chapter 76 - Biodiversity and Ecosystem Informatics Research, Technology Transfer, or Application Development? , Pages 868-869 , Judith Bayard Cushing Chapter 77 - Toward Recovery-Oriented Computing , Pages 873-876 , Armando Fox Chapter 78 - Smart: Making DB2 (More) Autonomic , Pages 877-879 , Guy M. Lohman, Sam S. Lightstone Chapter 79 - Business Process Cockpit: Extended Abstract , Pages 880-883 , Mehmet Sayal, Fabio Casati, Umeshwar Dayal, Ming-Chien Shan Chapter 80 - GnatDb: A Small-Footprint, Secure Database System , Pages 884-893 , Radek Vingralek Chapter 81 - Experience Report: Exploiting Advanced Database Optimization Features for Large-Scale SAP R/3 Installations , Pages 894-905 , Bernhard Zeller, Afons Kemper Chapter 82 - Information Integration and XML in IBM's DB2 , Pages 906-907 , Pat Selinger Chapter 83 - A New Passenger Support System for Public Transport Using Mobile Database Access , Pages 908-919 , Koichi Goto, Yahiko Kambayashi Chapter 84 - OBK — An Online High Energy Physics' Meta-Data Repository , Pages 920-927 , I. Alexandrov, A. Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, M. Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, A. Kazarov, S. Kolos, V. Kotov, D. Liko, L. Lucio, L. Mapelli, M. Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, et al. Chapter 85 - The gRNA: A Highly Programmable Infrastructure for Prototyping, Developing and Deploying Genomics-Centric Applications , Pages 928-939 , Amey V Laud, Sourav S Bhowmick, Pedro Cruz, Dadabhai T Singh, George Rajesh Chapter 86 - An Efficient Method for Performing Record Deletions and Updates Using Index Scans , Pages 940-949 , C. Mohan Chapter 87 - Joining Ranked Inputs in Practice , Pages 950-961 , Ihab F. Ilyas, Walid G. Aref, Ahmed K. Elmagarmid Chapter 88 - SQL Memory Management in Oracle9i , Pages 962-973 , Benoît Dageville, Mohamed Zait Chapter 89 - XMark: A Benchmark for XML Data Management , Pages 974-985 , Albrecht Schmidt, Florian Waas, Martin Kersten, Michael J. Carey, Ioana Manolescu, Ralph Busse Chapter 90 - The Denodo Data Integration Platform , Pages 986-989 , Alberto Pan, Juan Raposo, Manuel Álvarez, Paula Montoto, Vicente Orjales, Justo Hidalgo, Lucía Ardao, Anastasio Molano, Ángel Viña Chapter 91 - Preference SQL — Design, Implementation, Experiences , Pages 990-1001 , Werner Kießling, Gerhard Köstler Chapter 92 - The Rubicon of Smart Data , Pages 1002-1005 , Roger (Buzz) King Chapter 93 - Information Management challenges from the Aerospace Industry , Pages 1006-1007 , Suryanarayana M. Sripada Chapter 94 - Experiments on Query Expansion for Internet Yellow Page Services Using Web Log Mining , Pages 1008-1018 , Yusuke Ohura, Katsumi Takahashi, Iko Pramudiono, Masaru Kitsuregawa Chapter 95 - Issues and Evaluations of Caching Solutions for Web Application Acceleration , Pages 1019-1030 , Wen-Syan Li, Wang-Pin Hsiung, Dmitri V. Kalashnikov, Radu Sion, Oliver Po, Divyakant Agrawal, K. Selçuk Candan Chapter 96 - An Automated System for Web Portal Personalization , Pages 1031-1040 , Charu C. Aggarwal, Philip S. Yu Chapter 97 - EOS: Exactly-once E-service middleware , Pages 1043-1046 , German Shegalov, Gerhard Weikum, Roger Barga, David Lomet Chapter 98 - ServiceGlobe: Distributing E-services across the internet , Pages 1047-1050 , Markus Keidl, Stefan Seltzsam, Konrad Stocker, Alfons Kemper Chapter 99 - Self-serv: A platform for rapid composition of web services in a peer-to-peer environment , Pages 1051-1054 , Quan Z. Sheng, Boualem Benatallah, Marlon Dumas, Eileen Oi-Yan Mak Chapter 100 - Database technologies for electronic commerce , Pages 1055-1058 , Rakesh Agrawal, Ramakrishnan Srikant, Yirong Xu Chapter 101 - Advanced Database Technologies in a Diabetic Healthcare System , Pages 1059-1062 , Wynne Hsu, Mong Li Lee, Beng Chin Ooi, Pranab Kumar Mohanty, Keng Lik Teo, Chenyi Xia Chapter 102 - RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies , Pages 1063-1066 , Kam-Yiu Lam, Alan Kwan, Krithi Ramamritham Chapter 103 - Viator - A Tool Family for Graphical Networking and Data View Creation , Pages 1067-1070 , Stephan Heymann, Katja Tham, Axel Kilian, Gunnar Wegner, Dieter Merkel, Peter Rieger, Johann Christoph Freytag Chapter 104 - Profiling and Internet Connectivity in Automotive Environments , Pages 1071-1074 , M. Cilia, P. Hasselmeyer, A.P. Buchmann Chapter 105 - GeMBASE: A Geometric Mediator for Brain Analysis with Surface Ensembles , Pages 1075-1078 , Simone Santini, Amarnath Gupta Chapter 106 - Extending an ORDBMS: The StateMachine Module , Pages 1079-1082 , Wolfgang Mahnke, Christian Mathis, Hans-Peter Steiert Chapter 107 - BANKS: Browsing and Keyword Searching in Relational Databases , Pages 1083-1086 , B. Aditya, Gaurav Bhalotia, Soumen Chakrabarti, Arvind Hulgeri, Charuta Nakhe, Parag, S. Sudarshanxe Chapter 108 - Active XML: Peer-to-Peer Data and Web Services Integration , Pages 1087-1090 , Serge Abiteboul, Omar Benjelloun, Ioana Manolescu, Tova Milo, Roger Weber Chapter 109 - LegoDB: Customizing Relational Storage for XML Documents , Pages 1091-1094 , Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon Chapter 110 - enTrans: A System for Flexible Consistency Maintenance in Directory Applications , Pages 1095-1098 , Anandi Herlekar, Atul Deopujari, Krithi Ramamritham, Shyamsunder Gopale, Shridhar Shukla Chapter 111 - Champagne: Data Change Propagation for Heterogeneous Information Systems , Pages 1099-1102 , Ralf Rantzau, Carmen Constantinescu, Uwe Heinkel, Holger Meinecke Chapter 112 - Alias: An Active Learning led Interactive Deduplication System , Pages 1103-1106 , Sunita Sarawagi, Anuradha Bhamidipaty, Alok Kirpal, Chandra Mouli Chapter 113 - A-Topss — A Publish/Subscribe System Supporting Approximate Matching , Pages 1107-1110 , Haifeng Liu, H.-Arno Jacobsen Doctoral Posters , Page 1113 Author Index , Pages 1115-1118

This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996. Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and applications.

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated circuits and systems. We realized this vision this year by providing a technical program that contained state-of-the-art technical contributions, a keynote speech, three invited talks and two embedded tutorials. The technical program focused on timing, performance and power consumption, as well as architectural aspects, with particular emphasis on modelling, design, charac- rization, analysis and optimization in the nanometer era. This year a record 152 contributions were received to be considered for p- sible presentation at PATMOS. Despite the choice for an intense three-day m- ting, only 51 lecture papers and 34 poster papers could be accommodated in the single-track technical program. The Technical Program Committee, with the - sistance of additional expert reviewers, selected the 85 papers to be presented at PATMOS and organized them into 13 technical sessions. As was the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were received per manuscript. Erscheinungsdatum: 07.09.2004

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated circuits and systems. We realized this vision this year by providing a technical program that contained state-of-the-art technical contributions, a keynote speech, three invited talks and two embedded tutorials. The technical program focused on timing, performance and power consumption, as well as architectural aspects, with particular emphasis on modelling, design, charac- rization, analysis and optimization in the nanometer era. This year a record 152 contributions were received to be considered for p- sible presentation at PATMOS. Despite the choice for an intense three-day m- ting, only 51 lecture papers and 34 poster papers could be accommodated in the single-track technical program. The Technical Program Committee, with the - sistance of additional expert reviewers, selected the 85 papers to be presented at PATMOS and organized them into 13 technical sessions. As was the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were received per manuscript. Erscheinungsdatum: 07.09.2004

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. PATMOS provides a forum for researchers to discuss and investigate the emerging challenges in - sign methodologies and tools required to develop the upcoming generations of integrated circuits and systems. We realized this vision this year by providing a technical program that contained state-of-the-art technical contributions, a keynote speech, three invited talks and two embedded tutorials. The technical program focused on timing, performance and power consumption, as well as architectural aspects, with particular emphasis on modelling, design, charac- rization, analysis and optimization in the nanometer era. This year a record 152 contributions were received to be considered for p- sible presentation at PATMOS. Despite the choice for an intense three-day m- ting, only 51 lecture papers and 34 poster papers could be accommodated in the single-track technical program. The Technical Program Committee, with the - sistance of additional expert reviewers, selected the 85 papers to be presented at PATMOS and organized them into 13 technical sessions. As was the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were received per manuscript. Erscheinungsdatum: 07.09.2004

VLSI is an important area of electronic and computer engineering. This is an introduction for senior undergraduates, postgraduates and anyone starting work in the field of CAD for VLSI. It covers all aspects of physical design, together with such related fields as automatic cell generation, silicon compilation, layout editors and compaction. A problem-solving approach is adopted and each solution is illustrated with examples. Each topic is treated in a standard format, covering problem definition, cost functions and constraints, possible approaches and latest developments. The book deals with all aspects of VLSI physical design, from partitioning and floorplanning to layout generation and silicon compilation; provides a comprehensive treatment of most of the popular algorithms; covers developments and gives a bibliography for further research; and offers fully-described examples, problems and programming exercises.

Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof. Erscheinungsdatum: 06.09.2005

This Book Starts With An Overview Of The Research Of Gröbner Bases Which Have Many Applications In Various Areas Of Mathematics Since They Are A General Tool For The Investigation Of Polynomial Systems. The Next Chapter Describes Algorithms In Invariant Theory Including Many Examples And Time Tables. These Techniques Are Applied In The Chapters On Symmetric Bifurcation Theory And Equivariant Dynamics. This Combination Of Different Areas Of Mathematics Will Be Interesting To Researchers In Computational Algebra And/or Dynamics. Gröbner Bases: Buchberger's Algorithm -- The Consequence Of Grading -- Definitions And The Relation To Gröbner Bases -- Computation Of A Hilbert Series -- The Hilbert Series Driven Buchberger Algorithm -- The Computation With Algebraic Extensions -- Detection Of Gröbner Bases -- Dynamic Buchberger Algorithm -- Elimination -- Algorithms Of The Computation Of Invariants And Equivariants: Using The Hilbert Series -- Invariants -- Equivariants -- Using The Nullcone -- Using A Homogeneous System Of Parameters -- Computing Uniqueness -- Symmetric Bifurcation Theory -- Local Bifurcation Analysis -- An Example Of Secondary Hopf Bifurcation -- Orbit Space Reduction -- Exact Computation Of Steady States -- Differential Equations On The Orbit Space -- Using Noether Normalization -- Further Reading -- References -- Index. Karin Gatermann. Includes Bibliographical References (p.[139]-149) And Index.

Proceedings of the 30th Annual International Conference on Very Large Data Bases held in Toronto, Canada on August 31 - September 3 2004. Organized by the VLDB Endowment, VLDB is the premier international conference on database technology.

Spine title: Proceedings of the Eleventh International Conference on Very Large Data Bases, Includes bibliographies

Discussing algorithmic aspects of VLSI layout, this text includes coverage of: issues in timing driven layout; LP formulation of global routeing and placement; Stockmeyer's floorplan optimization technique; the Manhattan and knock-knee routeing modes; and parallel algorithms for placement.

VLSI is an important area of electronic and computer engineering. This is an introduction for senior undergraduates, postgraduates and anyone starting work in the field of CAD for VLSI. It covers all aspects of physical design, together with such related fields as automatic cell generation, silicon compilation, layout editors and compaction. A problem-solving approach is adopted and each solution is illustrated with examples. Each topic is treated in a standard format, covering problem definition, cost functions and constraints, possible approaches and latest developments. The book deals with all aspects of VLSI physical design, from partitioning and floorplanning to layout generation and silicon compilation; provides a comprehensive treatment of most of the popular algorithms; covers developments and gives a bibliography for further research; and offers fully-described examples, problems and programming exercises.

This Book Starts With An Overview Of The Research Of Gröbner Bases Which Have Many Applications In Various Areas Of Mathematics Since They Are A General Tool For The Investigation Of Polynomial Systems. The Next Chapter Describes Algorithms In Invariant Theory Including Many Examples And Time Tables. These Techniques Are Applied In The Chapters On Symmetric Bifurcation Theory And Equivariant Dynamics. This Combination Of Different Areas Of Mathematics Will Be Interesting To Researchers In Computational Algebra And/or Dynamics. Gröbner Bases: Buchberger's Algorithm -- The Consequence Of Grading -- Definitions And The Relation To Gröbner Bases -- Computation Of A Hilbert Series -- The Hilbert Series Driven Buchberger Algorithm -- The Computation With Algebraic Extensions -- Detection Of Gröbner Bases -- Dynamic Buchberger Algorithm -- Elimination -- Algorithms Of The Computation Of Invariants And Equivariants: Using The Hilbert Series -- Invariants -- Equivariants -- Using The Nullcone -- Using A Homogeneous System Of Parameters -- Computing Uniqueness -- Symmetric Bifurcation Theory -- Local Bifurcation Analysis -- An Example Of Secondary Hopf Bifurcation -- Orbit Space Reduction -- Exact Computation Of Steady States -- Differential Equations On The Orbit Space -- Using Noether Normalization -- Further Reading -- References -- Index. Karin Gatermann. Includes Bibliographical References (p.[139]-149) And Index.

This book constitutes revised selected papers from two VLDB workshops: The International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2022, and the 8th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2022, which were held virtually on September 9, 2022. The proceedings include 3 full papers each from Poly 2022 and from DMAH 2022. DMAH deals with innovative data management and analytics technologies highlighting end-to-end applications, systems, and methods to address problems in healthcare, public health, and everyday wellness, with clinical, physiological, imaging, behavioral, environmental, and omic - data, and data from social media and the Web. Poly is focusing on the broader real-world polystore problem, which includes data management, data integration, data curation, privacy, and security.

CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME'99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G ́erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G ́erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

This book constitutes revised selected papers from two VLDB workshops: The International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2022, and the 8th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2022, which were held virtually on September 9, 2022. The proceedings include 3 full papers each from Poly 2022 and from DMAH 2022. DMAH deals with innovative data management and analytics technologies highlighting end-to-end applications, systems, and methods to address problems in healthcare, public health, and everyday wellness, with clinical, physiological, imaging, behavioral, environmental, and omic - data, and data from social media and the Web. Poly is focusing on the broader real-world polystore problem, which includes data management, data integration, data curation, privacy, and security.

This book constitutes the refereed proceedings of the 10th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2000, held in Göttingen, Germany in September 2000. The 33 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on RTL power modeling, power estimation and optimization, system-level design, transistor level design, asynchronous circuit design, power efficient technologies, design of multimedia processing applications, adiabatic design and arithmetic modules, and analog-digital circuit modeling.

In the past two decades, research in VLSI physical design has been directed toward automation of layout process. Since the cost of fabricating a circuit is a fast growing function of the circuit area, circuit layout techniques are developed with an aim to produce layouts with small areas. Other criteria of optimality such as delay and via minimization need to be taken into consideration. This book includes 14 articles that deal with various stages of the VLSI layout problem. It covers topics including partitioning, floorplanning, placement, global routing, detailed routing and layout verification. Some of the chapters are review articles, giving the state-of-the-art of the problems related to timing driven placement, global and detailed routing, and circuit partitioning. The rest of the book contains research articles, giving recent findings of new approaches to the above-mentioned problems. They are all written by leading experts in the field. This book will serve as good references for both researchers and professionals who work in this field.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 43rd issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include classification tasks, machine learning algorithms, top-k queries, business process redesign and a knowledge capitalization framework.

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri?cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4–7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti?c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh. Erscheinungsdatum: 27.08.2001

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. The 6 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed and selected during two rounds of revision and improvement. The papers reflect a variety of approaches to semantics in data and knowledge bases. Erscheinungsdatum: 06.09.2011

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G ́erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

"This book constitutes the refereed proceedings of the Third International Colloquium on Grammatical Inference, ICGI-96, held in Montpellier, France, in September 1996. The 25 revised full papers contained in the book together with two invited key papers by Magerman and Knuutila were carefully selected for presentation at the conference. The papers are organized in sections on algebraic methods and algorithms, natural language and pattern recognition, inference and stochastic models, incremental methods and inductive logic programming, and operational issues."--PUBLISHER'S WEBSITE

The LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g. computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-Scale distributed applications providing high scalability. This, the 53rd issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains six fully revised selected regular papers. Topics covered include time series management from edge to cloud, segmentation for time series representation, similarity research, semantic similarity in a taxonomy, linked data semantic distance, linguistics-informed natural language processing, graph neural networks, protected features, imbalanced data, causal consistency in distributed databases, actor models, and elastic horizontal scalability

This book constitutes the refereed proceedings of the two International Workshops on Big-Graphs Online Querying, Big-O(Q) 2015, and Data Management and Analytics for Medicine and Healthcare, DMAH 2015, held at Waikoloa, Hawaii, USA on August 31 and September 4, 2015, in conjunction with the 41st International Conference on Very Large Data Bases, VLDB 2015. The 9 revised full papers presented together with 5 invited papers and 1 extended abstract were carefully reviewed and selected from 22 initial submissions. The papers are organized in topical sections on information retrieval and data analytics for electronic medical records; data management and visualization of medical data; biomedical data sharing and integration; medical imaging analytics; and big-graphs online querying.

VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application-Specific Low Power, VLSI System Design, System Issues in Complexity, Low Power, Heat Dissipation, Power Awareness in VLSI Design, Test and Verification, Mixed-Signal Design and Analysis, Electrical/Packaging Co-Design, Physical Design, Intellectual property creating and sharing.

<p>From the Foreword: "The papers in this volume were presented at the Aegean Workshop on Computing: VLSI Algorithms and Architectures (AWOC 88), organized by the Computer Technology Institute in Patras in cooperation with ACM, EATCS, IEEE and the General Secretariat of Research and Technology (Ministry of Industry, Energy &amp; technology of Greece). They were selected from 119 abstracts submitted in response to the program committee's call for papers and to additional invitations from John Reif. AWOC 88 took place in Corfu, Greece, June 28-July 1, 1988. AWOC 88 is the third meeting in the International Workshop on Parallel Computing &amp; VLSI series; the first meeting took place in Amalfi, Italy, 1984, and the second at Loutraki, Greece, 1986."</p>

Content: Welcome to VLDB'04 , Page xi Foreword from the Program Chairs , Pages xii-xiii Databases in a Wireless World , Page 3 Structures, Semantics and Statistics , Pages 4-6 Whither Data Mining? , Page 9 Compressing Large Boolean Matrices Using Reordering Techniques , Pages 13-23 On the Performance of Bitmap Indices for High Cardinality Attributes , Pages 24-35 Practical Suffix Tree Construction , Pages 36-47 Answering XPath Queries over Networks by Sending Minimal Views , Pages 48-59 A Framework for Using Materialized XPath Views in XML Query Processing , Pages 60-71 Schema-Free XQuery , Pages 72-83 Client-Based Access Control Management for XML documents , Pages 84-95 Secure XML Publishing without Information Leakage in the Presence of Data Inference , Pages 96-107 Limiting Disclosure in Hippocratic Databases , Pages 108-119 On Testing Satisfiability of Tree Pattern Queries , Pages 120-131 Containment of Nested XML Queries , Pages 132-143 Efficient XML-to-SQL Query Translation: Where to Add the Intelligence? , Pages 144-155 Taming XPath Queries by Minimizing Wildcard Steps , Pages 156-167 The NEXT Framework for Logical XQuery Optimization , Pages 168-179 Detecting Change in Data Streams , Pages 180-191 Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Stream Sources , Pages 192-203 False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams , Pages 204-215 Indexing Temporal XML documents , Pages 216-227 Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams , Pages 228-239 Bloom Histogram: Path Selectivity Estimation for XML Data with Updates , Pages 240-251 XQuery on SQL Hosts , Pages 252-263 ROX: Relational Over XML , Pages 264-275 From XML view updates to relational view updates: Old solutions to a new problem , Pages 276-287 XWAVE: Optimal and approximate Extended Wavelets for Streaming Data , Pages 288-299 REHIST: Relative Error Histogram Construction Algorithms , Pages 300-311 Distributed Set-Expression Cardinality Estimation , Pages 312-323 Memory-Limited Execution of Windowed Stream Joins , Pages 324-335 Resource Sharing in Continuous Sliding-Window Aggregates , Pages 336-347 Remembrance of Streams Past: Overload-Sensitive Management of Archived Streams , Pages 348-359 WIC: A General-Purpose Algorithm for Monitoring Web Information Sources , Pages 360-371 Similarity Search for Web Services , Pages 372-383 Awesome—A Data Warehouse-based System for Adaptive Webstite Recommendations , Pages 384-395 Accurate and Efficient Crawling for Relevant Websites , Pages 396-407 Instance-based Schema Matching for Web Databases by Domain-specific Query Probing , Pages 408-419 Computing PageRank in a Distributed Internet Search System , Pages 420-431 Enhancing P2P File-Sharing with an Internet-Scale Query Processor , Pages 432-443 Online Balancing of Range-Partitioned Data with Applications to Peer-to-Peer Systems , Pages 444-455 Network-Aware Query Processing for Stream-based Applications , Pages 456-467 Data Sharing Through Query Translation in Autonomous Sources , Pages 468-479 Linear Road: A Stream Data Management Benchmark , Pages 480-491 Query Languages and Data Models for Database Sequences and Data Streams , Pages 492-503 Tamper Detection in Audit Logs , Pages 504-515 Auditing Compliance with a Hippocratic Database , Pages 516-527 High-Dimensional OLAP: A Minimal Cubing Approach , Pages 528-539 The Polynomial Complexity of Fully Materialized Coalesced Cubes , Pages 540-551 Relational link-based ranking , Pages 552-563 ObjectRank: Authority-Based Keyword Search in Databases , Pages 564-575 Combating Web Spam with TrustRank , Pages 576-587 Model-Driven Data Acquisition in Sensor Networks , Pages 588-599 GridDB: A Data-Centric Overlay for Scientific Grids , Pages 600-611 Towards an Internet-Scale XML Dissemination Service , Pages 612-623 Efficiency-Quality Tradeoffs for Vector Score Aggregation , Pages 624-635 Merging the Results of Approximate Match Operations , Pages 636-647 Top-k Query Evaluation with Probabilistic Guarantees , Pages 648-659 STEPS Towards Cache-Resident Transaction Processing , Pages 660-671 Write-Optimized B-Trees , Pages 672-683 Cache-Conscious Radix-Decluster Projections , Pages 684-695 Clotho: Decoupling Memory Page Layout from Storage Organization , Pages 696-707 Vision Paper: Enabling Privacy for the Paranoids , Pages 708-719 A Privacy-Preserving Index for Range Queries , Pages 720-731 Resilient Rights Protection for Sensor Streams , Pages 732-743 k Reverse NN Search in Arbitrary Dimensionality , Pages 744-755 GORDER: An Efficient Method for KNN Join Processing , Pages 756-767 + Query and Update Efficient B-Tree Based Indexing of Moving Objects , Pages 768-779 Indexing Large Human-Motion Databases , Pages 780-791 On The Marriage of Lp-norms and Edit Distance , Pages 792-803 Approximate NN Queries on Streams with Guaranteed Error/performance Bounds , Pages 804-815 Object Fusion in Geographic Information Systems , Pages 816-827 Maintenance of Spatial Semijoin Queries on Moving Points , Pages 828-839 Voronoi-Based K Nearest Neighbor Search for Spatial Network Databases , Pages 840-851 A Framework for Projected Clustering of High Dimensional Data Streams , Pages 852-863 Efficient Query evaluation on Probabilistic Databases , Pages 864-875 Efficient Indexing Methods for Probabilistic Threshold Queries over Uncertain Data , Pages 876-887 Probabilistic Ranking of Database Query Results , Pages 888-899 An Annotation Management System for Relational Databases , Pages 900-911 Symmetric Relations and Cardinality-Bounded Multisets in Database Systems , Pages 912-923 Algebraic Manipulation of Scientific Datasets , Pages 924-935 Multi-objective Query Processing for Database Systems , Pages 936-947 Lifting the Burden of History from Adaptive Query Processing , Pages 948-959 A Combined Framework for Grouping and Order Optimization , Pages 960-971 The Case for Precision Sharing , Pages 972-983 Returning Modified Rows—SELECT Statements with Side Effects , Pages 987-997 PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS , Pages 998-1009 A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems , Pages 1010-1020 Hardware Acceleration in Commercial Databases: A Case Study of Spatial Operations , Pages 1021-1032 * PTIME: Highly scalable OLTP DBMS for Managing Update-Intensive Stream Workload , Pages 1033-1044 Generating Thousand Benchmark Queries in Seconds , Pages 1045-1053 Supporting Ontology-based Semantic Matching in RDBMS , Pages 1054-1065 BioPatentMiners: An Information Retrieval System for BioMedical Patents , Pages 1066-1077 Flexible String Matching Against Large Databases in Practice , Pages 1078-1086 DB2 Design Advisor: Integrated Automatic Physical Database Design , Pages 1087-1097 Automatic SQL Tuning in Oracle 10g , Pages 1098-1109 Database Tuning Advisor for Microsoft SQL Server 2005 , Pages 1110-1121 Query Rewrite for XML in Oracle XML DB , Pages 1122-1133 Indexing XML Data Stored in a Relational Database , Pages 1134-1145 Automated Statistics Collection in DB2 UDB , Pages 1146-1157 High Performance Index Build Algorithms for Intranet Search Engines , Pages 1158-1169 Automated design of multidimensional clustering tables for relational databases , Pages 1170-1181 Integrating Automatic Data Acquisition with Business Processes Experiences with SAP's Auto-ID Infrastructure , Pages 1182-1188 Managing RFID Data: Extended Abstract , Pages 1189-1195 Production Database Systems: Making Them Easy is Hard Work , Pages 1196-1197 Managing Data from High-Throughput Genomic Processing: A Case Study , Pages 1198-1201 Database Challenges in the Integration of Biomedical Data Sets , Pages 1202-1213 The Bloomba Personal Content Database , Pages 1214-1223 Trends in Data Warehousing: A Practitioner's View , Page 1224 Technology Challenges in a Data Warehouse , Pages 1225-1226 Sybase IQ Multiplex—Designed For Analytics , Pages 1227-1229 - Biological Data Management: Research, Practice and Opportunities , Pages 1233-1236 Where is business Intelligence taking today's Database Systems? , Page 1237 Database Architectures for New Hardware , Page 1241 Security of Shared Data in Large Systems: State of the Art and Research Directions , Page 1242 - Self-Managing Technology in Database Management Systems , Page 1243 Architectures and Algorithms for Internet-Scale (p2p) Data Management , Page 1244 - The Continued Saga of DB-IR Integration , Page 1245 GPX: Interactive Mining of Gene Expression Data , Pages 1249-1252 Computing Frequent Itemsets Inside Oracle 10G , Pages 1253-1256 StreamMiner: A Classifier Ensemble-based Engine to Mine Concept-drifting Data Streams , Pages 1257-1260 Semantic Mining and Analysis of Gene Experession Data , Pages 1261-1264 HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data , Pages 1265-1268 VizTree: A Tool for Visually Mining and Monitoring Massive Time Series Databases , Pages 1269-1272 An Electronic Patient Record “on Steroids”: Distributed, Peer-to-Peer, Secure and Privacy-conscious , Pages 1273-1276 Queries and Updates in the coDB Peer to Peer Database System , Pages 1277-1280 A-ToPSS: A Publish/Subscribe System Supporting Imperfect Information Processing , Pages 1281-1284 Efficient Constraint Processing for Highly Personalized Location Based Services , Pages 1285-1288 * RS LH: A Highly Available Distributed Data Storage , Pages 1289-1292 Semantic Query Optimization in an Automata-Algebra Combined XQuery Engine over XML Streams , Pages 1293-1296 ShreX: Managing XML Documents in Relational Databases , Pages 1297-1300 A Uniform System for Publishing and Maintaining XML Data , Pages 1301-1304 An Injection with Tree Awareness: Adding Staircase Join to PostgreSQL , Pages 1305-1308 FluXQuery: An Optimizing XQuery Processor for Streaming XML Data , Pages 1309-1312 COMPASS: A Concept-based Web Search Engine for HTML, XML, and Deep Web Data , Pages 1313-1316 Discovering and Ranking Semantic Associations over a Large RDF Metabase , Pages 1317-1320 An Automatic Data Grabber for Large Web Sites , Pages 1321-1324 WS-CatalogNet: An Infrastructure for Creating, Peering, and Querying e-Catalog Communities , Pages 1325-1328 Trust-Serv: A Lightweight Trust Negotiation Service , Pages 1329-1332 Green Query Optimization: Taming Query Optimization Overheads through Plan Recycling , Pages 1333-1336 Progressive Optimization in Action , Pages 1337-1340 CORDS: Automatic Generation of Correlation Statistics in DB2 , Pages 1341-1344 CHICAGO: A Test and Evaluation Environment for Coarse-Grained Optimization , Pages 1345-1348 SVT: Schema Validation Tool for Microsoft SQL-Server , Pages 1349-1352 CAPE: Continuous Query Engine with Heterogeneous-Grained Adaptivity , Pages 1353-1356 HiFi: A Unified Architecture for High Fan-in Systems (System Demonstration) , Pages 1357-1360 An Integration Framework for Sensor Networks and Data Stream Management Systems , Pages 1361-1364 QStream: Deterministic Querying of Data Streams , Pages 1365-1368 AIDA: An Adaptive Immersive Data Analyzer , Pages 1369-1372 BilVideo Video Database Management System , Pages 1373-1376 PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams , Pages 1377-1380 Author Index , Pages 1381-1386

This State-of-the-art Monograph Presents A Coherent Survey Of A Variety Of Methods And Systems For Formal Hardware Verification. It Emphasizes The Presentation Of Approaches That Have Matured Into Tools And Systems Usable For The Actual Verification Of Nontrivial Circuits. All In All, The Book Is A Representative And Well-structured Survey On The Success And Future Potential Of Formal Methods In Proving The Correctness Of Circuits. The Various Chapters Describe The Respective Approaches Supplying Theoretical Foundations As Well As Taking Into Account The Application Viewpoint. By Applying All Methods And Systems Presented To The Same Set Of Ifip Wg10.5 Hardware Verification Examples, A Valuable And Fair Analysis Of The Strenghts And Weaknesses Of The Various Approaches Is Given. Symbolic Trajectory Evaluation / Scott Hazelhurst And Carl-johan H. Seger -- Verification With Abstract State Machines Using Mdgs / E. Cerny [and Others] -- Design Verification Using Synchronized Transitions / Jørgen Staunstrup -- Hardware Verification Using Pvs / Mandayam Srivas, Harald Ruess, And David Cyrluk -- Verifying Vhdl Designs With Cospan / Kathi Fisler And Robert P. Kurshan -- The C@s System / Klaus Schneider And Thomas Kropf -- Appendix : The Common Book Examples / Thomas Kropf. Thomas Kropf, Ed. Includes Bibliographical References (p. [349]-367).