Inlessthanadecadeofexistence, theWebhasreachedatrulystaggeringstage, demonstratedbythescope, thereach, andthesizeofWeb-basedapplications andactivities. Concentratinginitiallyoninformationdissemination, thescopeof theapplicationsisnowlimitedonlybyourimagination. Thereachisconstantly expandingandsoarethenumberandsizeoftheapplications, alongwiththe underlyingcomplexity, rangeofpurposes, andthetimeneededtodevelopand maintainthem. Atthesametime, thedevelopmentandmaintenanceprocesses ofWebapplicationshavenotprogressedatasu?cientlyrapidpacetomeetthese challengesanddemands. Consequently,...

This book constitutes the thoroughly refereed post-proceedings of the First International Java Card Workshop held in Cannes, France, in September 2000. inclusion in the book together with one invited paper. security based on Java Card language programs are addressed.

The pathophysiology of sepsis can be regarded as a series of steps, beginning with the invasion of normally sterile tissue by microbes and the elaboration of various pro-inflammatory mediators. The final common pathway is often the development of the multiple organ dysfunction syndrome (MODS). Whereas a great deal has been learned during the past quarter century about the inflammatory processes associated with sepsis (and other related conditions, such as ischemia/reperfusion injury), our understanding is far less developed with respect to the pathophysiological events that lead to organ...

The present book covers the transport properties of superconductor/two dimensional electron gas Josephson junctions. Starting with the basic el ement, a superconductor/two dimensional electron gas interface, phase co herent Andreev reflection in hybrid Josephson junctions is introduced and further on, multiterminal structures are discussed. Special care is taken on explaining the underlying theoretical concepts related to the transport mech anisms. Employing a two dimensional electron gas in a semiconductor as a normal conductor opens up the possibility to observe effects not found in purely...

Nanostructures are among the most actively studied systems in present day - search. Theoretical and experimental studies of these small systems have unc- ered remarkable phenomena due to fundamental interactions and the reduction in dimensionality. Such nanostructures can be made out of well known ma- rials such as metals or semiconductors by lithographic procedures. In addition, novel material systems, e.g. semiconducting heterostructures, or even molecul- like materials, e.g. carbon nanotubes, can represent nanostructures in which electron electron interactions are of importance. The...

This book constitutes the refereed proceedings of the Second International Workshop on Multiple Classifier Systems, MCS 2001, held in Cambridge, UK in July 2001.The 44 revised papers presented were carefully reviewed and selected for presentation. The book offers topical sections on bagging and boosting, MCS design methodology, ensemble classifiers, feature spaces for MCS, MCS in remote sensing, one class MCS and clustering, and combination strategies.

This book constitutes the refereed proceedings of the Second International Conference on Web-Age Information Management, WAIM 2001, held in Xi'an, China, in July 2001.
The 21 revised full papers and 12 short papers presented together with 4 research experience papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on multimedia databases and high-dimensional indexing, information retrieval and text indexing, data mining, semistructured data management, data warehousing and federated databases, Web information management...

Neutron stars are the densest observable bodies in our universe. Born during the gravitational collapse of luminous stars - a birth heralded by spectacular supernova explosions - they open a window on a world where the state of the matter and the strengths of the fields are anything but ordinary. This book is a collection of pedagogical lectures on the theory of neutron stars, and especially their interiors, at the forefront of current research. It addresses graduate students and researchers alike, and should be particularly suitable as a text bridging the gap between standard textbook...

This volume constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification,...

On the occasion ofthe second edition ofthe book, it appeared necessary to up- date information that was already seven years old. Astrometry has recorded tremendous advances during these last years, so that, in addition to cor- recting identified errors and misprints, there are many major modifications. Among the events that forced me to modify significantly the contents of the book, the most important are the release of the Hipparcos and Tycho cata- logues, the introduction of CCD astrometry, the decision of the International Astronomical Union to adopt a new celestial reference frame, the...