Information Technology: Selected Tutorials (IFIP International Federation for Information Processing)

Information Technology: Selected Tutorials (IFIP International Federation for Information Processing), 9781402081583 (1402081588), Springer, 2004

This book contains a selection of tutorials on hot topics in information
technology, which were presented at the IFIP 18th World Computer
Congress. WCC2004 took place at the Centre de Congrès Pierre Baudis, in
Toulouse, France, from 22 to 27 August 2004.

The 11 chapters included in the book were chosen from tutorials
proposals submitted to WCC2004. These papers report on several important
and state-of-the-art topics on information technology such as:

Quality of Service in Information Networks
Risk-Driven Development of Security-Critical Systems Using UMLsec
Developing Portable Software
Formal Reasoning About Systems, Software and Hardware Using
Functionals, Predicates and Relations
The Problematic of Distributed Systems Supervision
Software Rejuvenation - Modeling and Analysis
Test and Design-for-Test of Mixed-Signal Integrated Circuits
Web Services
Applications of Multi-Agent Systems
Discrete Event Simulation
Human-Centered Automation

We hereby would like to thank IFIP and more specifically WCC2004
Tutorials Committee and the authors for their contribution. We also would
like to thank the congress organizers who have done a great job.

Comments

Amazing Books

Complete Wireless Home Networking

Prentice Hall, 2003

Today's home wireless networks offer tremendous advantages over hard-wired networks-among them, unprecedented portability and, of course, the freedom from wires strung all over your house! Unless you have a firm grasp on all the latest networking technologies, though, wireless networks won't free you from digging your way through...

Classical and New Paradigms of Computation and their Complexity Hierarchies

Springer, 2005

The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some...

Artificial Life Models in Software

Springer, 2005

This book presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual, and living forms, written by those who personally design and produce software, hardware, and art installations in artificial life, simulated complex systems, and virtual worlds.

This timely volume offers a...

Professional SharePoint 2007 Web Content Management Development: Building Publishing Sites with Office SharePoint Server 2007

Wrox Press, 2008

Professional SharePoint 2007 Web Content Management Development

By allowing multiple users to create and update web pages without the use of HTML or specialized editing software, SharePoint Server 2007 Web Content Managament (WCM) is a fascinating system that organizes web content and design edits from each one of the...

Database Modeling and Design: Logical Design, 4th Edition (Data Management Systems)

Morgan Kaufmann, 2005

Database systems and database design technology have undergone significant evolution in recent years. The relational data model and relational database systems dominate business applications; in turn, they are extended by other technologies like data warehousing, OLAP, and data mining. How do you model and design your database application in...

The Development and Treatment of Girlhood Aggression

Lawrence Erlbaum Associates, 2004

After decades of neglect, researchers have begun to focus attention on the development and outcomes of girlhood aggression. This comprehensive volume provides an account of some of the pioneering research in the field. Its central aims are to highlight current understanding, identify key components for preventing and treating the complex array of...