The emerging Second-Generation Web is based entirely on XML and related technologies. It is
intended to result in the creation of the Semantic Web, on which computers will be able to deal with
the meaning (“semantics”) of Web data and hence to process them in a more effective and autonomous
way. This new version of the...
The 5th International Symposium on Rules: Research Based and Industry Focused (RuleML-2011@IJCAI), collocated in Barcelona, Spain, with the 22nd International Joint Conference on Artificial Intelligence, was the premier place to meet and to exchange ideas from all fields of rule technology. The aim of RuleML-2011 was to build a bridge between...
Databases are the workhorses of the information age. Like Atlas, they go largely unnoticed
in supporting the digital world we’ve come to inhabit. It’s easy to forget that our
digital interactions, from commenting and tweeting to searching and sorting, are in
essence interactions with a database. Because of this fundamental...
The Millennium Ecosystem Assessment (MA) was carried out between 2001
and 2005 to assess the consequences of ecosystem change for human well-being
and to establish the basis for actions needed to enhance the conservation and
sustainable use of ecosystems and their contributions to human well-being.
The MA was originally conceived as a...
Service-Oriented Architecture is becoming the leading architecture for IT, and it is changing the way organisations work. IT is slowly but steadily gaining maturity, and becoming the flexible yet stable and reliable support for business it should be. At the same time, IT is regaining its potential to create real business innovation. SOA will...
This book is written for those who are about to use their fi rst home computer or
those who have yet to explore the wider opportunities afforded by a computer
beyond searching the Internet and sending the occasional email message. You
have my word that there will be very few acronyms and those that do appear will
be fully explained in...
In the last decade there has been a growing interest in the research and software
industry communities toward techniques, methods and tools that allow one to manage
system performance concerns in the software developer domain. Poor performance
can often be the cause of software project failure, and the need to address
performance...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
In 2009, Microsoft Chairman Bill Gates announced the company's leading web application platform for organizations, SharePoint, has exceeded 1 billion dollars in profits with over 100 million licenses sold. I was in the audience when he said that and couldn't help but reflect on how far SharePoint has come in less than a decade. In the...
A major part of natural language processing now depends on the use of text data to build linguistic analyzers. We consider statistical, computational approaches to modeling linguistic structure. We seek to unify across many approaches and many kinds of linguistic structures. Assuming a basic understanding of natural language processing and/or...
Mirroring the latest developments in materials, methods, codes, and standards in building and bridge design, this is a one-of-a-kind, definitive reference for engineers.
This chapter presents and discusses the properties of structural steels that are of importance in design
and construction. Designers should be familiar with...
The theory of optimal control systems has grown and flourished since the 1960's. Many texts, written on varying levels of sophistication, have been published on the subject. Yet even those purportedly designed for beginners in the field are often riddled with complex theorems, and many treatments fail to include topics that are essential...
