| |
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their...
Editeur :
Springer
Parution :
2007-05-16
PDF
|
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of c- puter science methods and algorithms in business practice. It presents a research cutting edge in development, implementation, and improvement...
Editeur :
Springer
Parution :
2007-05-16
PDF
|
Metrics are paramount in every engineering discipline. Software engineering, however, is not considered a classical engineering activity for several reasons. In general, if a software system is seen to deliver the required functionality, only few people if any care...
Editeur :
Springer
Parution :
2007-05-16
PDF
|
In order to build a successful, Java-based application it is important to have a clear understanding of the principles underlying the various financial models. Those models guide the application designer in choosing the most appropriate Java data structures and...
Editeur :
Springer
Parution :
2007-05-16
PDF
|
It has been said of the brothers Wilhelm and Alexander von Humboldt that between them they were the last people to have known all that there was to know, to have had a mastery of the best that contemporary science knew and to have made significant contributions, to be...
Editeur :
Springer
Parution :
2007-05-16
PDF
|
At the end of the 1980s, Professor August-Wilhelm Scheer developed ARIS as a meta-model for organisational modelling and to provide a procedural model for recording, analysis and optimisation of business processes and their implemen- tion in software systems. In 1993,...
Editeur :
Springer
Parution :
2007-05-15
PDF
|
Information fusion resulting from multi-source processing, often called multisensor data fusion when sensors are the main sources of information, is a relatively young (less than 20 years) technology domain. It provides techniques and methods for: Integrating data from...
Editeur :
SAGE Publications Ltd
Parution :
2007-05-15
PDF
|
Database security is one of the classical topics in the research of information system security. Ever since the early years of database management systems, a great deal of research activity has been conducted. Fruitful results have been produced, many of which are...
Editeur :
Springer
Parution :
2007-05-11
PDF
|
Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art software security design principles, methodology, and concrete programming techniques they need to build secure software systems. Once you're...
Editeur :
Apress
Parution :
2007-05-11
PDF
|
Information fusion techniques and aggregation operators produce the most comprehensive, specific datum about an entity using data supplied from different sources, thus enabling us to reduce noise, increase accuracy, summarize and extract information, and make decisions....
Editeur :
Springer
Parution :
2007-05-11
PDF
|
Biologically inspired walking machines are fascinating objects to study, from thepointofviewoftheirmechatronicaldesignaswellastherealisationofc- trol concepts. Research on this subject takes its place in a rapidly growing, highly interdisciplinary ?eld, uniting...
Editeur :
Springer
Parution :
2007-05-10
PDF
|
Flex 2 represents something of a revolution in web applications. It is the next evolutionary step of Flash, which has grown from a web animation tool to a powerful enterprise web design and development tool. with nearly 98% of all web browsers and cellular phones...
Editeur :
Apress
Parution :
2007-05-10
PDF
|
Platform Based Design at the Electronic System Level presents a multi-faceted view of the set of problems that the electronic industry currently faces in the development and integration of complex heterogeneous systems (including both hardware and software...
Editeur :
Springer
Parution :
2007-05-09
PDF
|
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal...
Editeur :
Springer
Parution :
2007-05-06
Collection :
Synthese Library
PDF
|
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research...
Editeur :
Springer
Parution :
2007-05-04
PDF
|
This book introduces the reader to methods of data mining on the web, including uncovering patterns in web content (classification, clustering, language processing), structure (graphs, hubs, metrics), and usage (modeling, sequence analysis, performance).
Editeur :
Wiley-Interscience
Parution :
2007-05-04
PDF
|
Knowing everything you can about each click to your Web site can help you make strategic decisions regarding your business. This book is about the why, not just the how, of web analytics and the rules for developing a "culture of analysis" inside your organization. Why...
Editeur :
Sybex
Parution :
2007-05-04
PDF
|
Distributed and Parallel Systems: From Cluster to Grid Computing is an edited volume based on DAPSYS 2006, the 6th Austrian-Hungarian Workshop onDistributed and Parallel Systems, which is dedicated to all aspects of distributed and parallel computing. The workshop...
Editeur :
Springer
Parution :
2007-05-03
PDF
|
Yorick Wilks is a central figure in the fields of Natural Language Processing and Artificial Intelligence. His influence extends to many areas and includes contributions to Machines Translation, word sense disambiguation, dialogue modeling and Information Extraction....
Editeur :
Springer
Parution :
2007-05-03
Collection :
Text, Speech and Language Technology
PDF
|
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing...
Editeur :
Springer
Parution :
2007-05-03
PDF
|