Computers and Information Technology

Ever since the historical discovery of the now-famous Lorenz system in 1963, a large number of nonlinear systems that can produce chaos have been -...

I love the idea of a Smart Internet that lets users improve many parts of their lives, pulling together data and services from around the internet....

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT,...

This book constitutes the refereed proceedings of the 11th International Conference on Web Engineering, held in Paphos, Cyprus, in June 2011. The 2...

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia App...

This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtop...

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main ...

The BlackBerry is cool, and the BlackBerry is fun, but the BlackBerry also means serious business. For those of you who bought your BlackBerry to h...

th HESSD 2009 was the 7 IFIP WG 13.5 Working Conference in the series on Human Error, Safety and Systems Development which looks at integration of ...

This book constitutes the thoroughly refereed post-conference proceedings of the two international workshops DPM 2009, the 4th International Worksh...

Replication is a topic of interest in the distributed computing, distributed systems, and database communities. Although these communities have tra...

WALCOM 2010, the 4th International Workshop on Algorithms and Com- tation, held during February 10-12, 2010 in Dhaka, Bangladesh, covered the areas...

This volume contains the papers presented at the 6th International Conference on Distributed Computing and Internet Technology(ICDCIT 2010) held du...

AccordingtoFrancoisBancillonandWonKim[SIGMODRECORD,Vol.19,No. 4, December 1990], object-oriented databases started in around 1983. Twen- seven year...

This open access book aims to provide an overview of state-of-the-art approaches to 3D documentation from a practical perspective and formulate the...

Over the last decade, we have witnessed a growing dependency on information technologyresultingina wide rangeofnew opportunities. Clearly,ithas bec...

The 7th Annual Conference on Theory and Applications of Models of Compu- tion was held during June 7-11, 2010 in Prague. After six successful confe...

Big Digital Humanities has its origins in a series of seminal articles Patrik Svensson published in the Digital Humanities Quarterly between 2009 a...

These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LA...

The Second International Workshop on Traffic Monitoring and Analysis (TMA 2010) was an initiative of the COST Action IC0703 Data Traffic Monitoring...

Although many developments surrounding the Internet campaign are now considered to be standard fare, there were a number of new developments in 201...