You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994. The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory.
This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.
Coverage in this proceedings volume includes data mining and knowledge discovery, wireless, sensor networks and grid, XML and query processing and optimization, security, information extraction, semantic Web and Web applications, and workflow and middleware.
At a time when globalization is taking a step backward, what’s the best way to organize a global enterprise? The key, explains political economist Steven Weber, is to prepare for a world increasingly made up of competing regions defined by their own rules and standards. Globalization has taken a hit as trade wars and resistance to mass migrations dominate headlines. Are we returning to the old world of stand-alone nations? Political economist Steven Weber argues that we are heading toward something new. Global connectedness will not dissolve but will be defined by “regional” blocs, demarcated more by the rules and standards they follow than by territory. For leaders of firms and NGOs w...
This two-volume set LNCS 4805/4806 constitutes the refereed proceedings of 10 international workshops and papers of the OTM Academy Doctoral Consortium held as part of OTM 2007 in Vilamoura, Portugal, in November 2007. The 126 revised full papers presented were carefully reviewed and selected from a total of 241 submissions to the workshops. The first volume begins with 23 additional revised short or poster papers of the OTM 2007 main conferences.
This book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2007, held in Beijing, China, in December 2007. The papers address all current issues in mobile ad hoc and sensor networks and are organized in topical sections on routing, network protocols, energy efficiency, data processing, self-organization and synchronization, deployment and application, as well as security.
Ever-stronger ties between technology, entertainment and design are transforming our relationship with democratic decision-making. When we are online, or when we use digital products and services, we tend to focus more on certain factors like speed of service and user-friendliness, and to overlook the costs – both for ourselves and others. As a result, a widening gap separates our expectations of everything related to digitalization – including government – and the actual practice of democratic governance. Democratic regulators, unable to meet citizens’ demands for tangible, fast and gratifying returns, are seeing the poorest results ever recorded in terms of interest, engagement and...
The ?rst International Symposium on the Applications of Constraint Databases (CDB2004) took place in Paris, France, on June 12–13, 2004, just before the ACM SIGMOD and PODS conferences. Since the publication of the paper “Constraint Query Languages” by Kan- lakis, Kuper and Revesz in 1990, the last decade has seen a growing interest in constraint database theory, query evaluation, and applications, re?ected in a variety of conferences, journals, and books. Constraint databases have proven to be extremely ?exible and adoptable in environments that relational database systems cannot serve well, such as geographic information systems and bioinf- matics. This symposium brought together peo...
This book constitutes the refereed proceedings of the 20th International Conference on Database and Expert Systems Applications, DEXA 2009, held in Linz, Austria, in August/September 2009. The 35 revised full papers and 35 short papers presented were carefully reviewed and selected from 202 submissions. The papers are organized in topical sections on XML and databases; Web, semantics and ontologies; temporal, spatial, and high dimensional databases; database and information system architecture, performance and security; query processing and optimisation; data and information integration and quality; data and information streams; data mining algorithms; data and information modelling; information retrieval and database systems; and database and information system architecture and performance.