You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
This book collects the most significant literature on agents in an attempt top forge a broad foundation for the field. Includes papers from the perspectives of AI, databases, distributed computing, and programming languages. The book will be of interest to programmers and developers, especially in Internet areas.
This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, September 5–8, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi?cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics. The interest in business process management (and in the BPM conference) was demonstrated by the quantity and quality of the paper submissions. We received over 176 contributions from 31 countrie...
This two-volume set LNCS 3290/3291 constitutes the refereed proceedings of the three confederated conferences CoopIS 2004, DOA 2004, and ODBASE 2004 held as OTM 2004 in Agia Napa, Cyprus in October 2004. The 94 revised full papers presented were carefully reviewed and selected from a total of 380 submissions. In accordance with the three OTM 2004 main conferences CoopIS, DOA, and ODBASE, the papers are devoted to interoperability, workflow, and cooperation; distributed objects, infrastructure and enabling technology, and Internet computing; and data and Web semantics.
The most prominent Web applications in use today are data-intensive. Scores of database management systems across the Internet access and maintain large amounts of structured data for e-commerce, on-line trading, banking, digital libraries, and other high-volume sites.Developing and maintaining these data-intensive applications is an especially complex, multi-disciplinary activity, requiring all the tools and techniques that software engineering can provide. This book represents a breakthrough for Web application developers. Using hundreds of illustrations and an elegant intuitive modeling language, the authors—all internationally-known database researchers—present a methodology that ful...
Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured data. Since many new and advanced web applications consume a huge amount of such data, there is a growing need to properly design efficient databases. This volume responds to that need by describing a semantically rich data model for semistructured data, called Object-Relationship-Attribute model for Semistructured data (ORA-SS). Focusing on this new model, the book discuss problems and present solutions for a number of topics, including schema extraction, the design of non-redundant storage organizations for semistructured data, and physical semsitructured database design, among others. Semistructured Database Design, presents researchers and professionals with the most complete and up-to-date research in this fast-growing field.
The authors explore and explain current techniques for handling the specialised data that describes geographical phenomena in a study that will be of great value to computer scientists and geographers working with spatial databases.
th 2002 DEXA, the 13 International Conference on Database and Expert Systems Applications was held on September 2–6, 2002, at the Université Aix–Marseille II, France. The quickly growing field of information systems required the establishment of more specialized discussion platforms (the DaWaK conference, EC-Web conference, eGOV conference and DEXA workshops), and there were held in parallel with DEXA, also in Aix-en-Provence. The resulting book was prepared with great effort. Starting with the preparation of submitted papers, the papers went through the reviewing process. The accepted papers were revised to final versions by their authors and arranged to the conference program. This ye...
This book constitutes the refereed proceedings of the 14th International Conference on Database and Expert Systems Applcations, DEXA 2003, held in Prague, Czech Republic, in September 2003. The 91 revised full papers presented together with an invited paper and a position paper were carefully reviewed and selected from 236 submissions. The papers are organized in topical sections on XML, data modeling, spatial database systems, mobile computing, transactions, bioinformatics, information retrieval, multimedia databases, Web applications, ontologies, object-oriented databases, query optimization, workflow systems, knowledge engineering, and security.
This work has been revised and updated to provide a comprehensive treatment of database design for commercial database products and their applications. The book covers the basic foundation of design as well as more advanced techniques, and also incorporates coverage of data warehousing and OLAP (On-Line Analytical Processing), data mining, object-relational, multimedia, and temporal/spatial design.