This book presents the revised version of seven tutorials given at the NETWORKING 2002 Conference in Pisa, Italy in May 2002. The lecturers present a coherent view of the core issues in the following areas: - peer-to-peer computing and communications - mobile computing middleware - network security in the multicast framework - categorizing computing assets according to communication patterns - remarks on ad-hoc networking - communication through virtual technologies - optical networks.
This book presents the revised version of seven tutorials given at the NETWORKING 2002 Conference in Pisa, Italy in May 2002. The lecturers pres...
This book constitutes the refereed proceedings of the 7th IFIP International Conference on Communications and Multimedia Security, CMS 2003, held in Torino, Italy in October 2003.The 21 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on cryptography, network security, mobile and wireless network security, trust and privacy, application security, and multimedia security.
This book constitutes the refereed proceedings of the 7th IFIP International Conference on Communications and Multimedia Security, CMS 2003, held in T...
UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies. The conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who are exploring the impli- tions of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. This volume, the conference proceedings, contains the entire collection of high-quality full...
UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to th...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.
This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification...
This book constitutes the post-proceedings of the DIMACS/RECOMB Satellite Workshop on Computational Methods for SNPs and Haplotype Inference held in Piscataway, NJ, USA, in November 2002.
The book presents ten revised full papers as well as abstracts of the remaining workshop papers. All relevant current issues in computational methods for SNP and haplotype analysis and their applications to disease associations are addressed.
This book constitutes the post-proceedings of the DIMACS/RECOMB Satellite Workshop on Computational Methods for SNPs and Haplotype Inference held i...
In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, process stakeholders can communicate about process structure, content, and possible improvements. Formal analysis, veri?cation and simulation techniques have the potential to show de?cits and to e?ectively lead to better and more ?exible processes. Process mining facilitates the discovery of process...
In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, a...
This book constitutes the refereed proceedings of the 8th International Conference on Software Reuse, ICSR-8, held in Madrid, Spain in July 2004. from numerous submissions. The papers are organized in topical sections on software variability: requirements; testing reusable software; feature modeling; aspect-oriented software development; component and service development; code level reuse; libraries, classification, and retrieval; model-based approaches; transformation and generation; and requirements.
This book constitutes the refereed proceedings of the 8th International Conference on Software Reuse, ICSR-8, held in Madrid, Spain in July 2004. from...
The Internet and the worldwide web play an increasingly important role in our private and professional activities, for example in accessing information about cultural, political, economical, medical or scientific information. Many people assume that they can access such information privately.This book addresses the topic of querying information privately in a systematic and comprehensive way, developing practical solutions in the context of database systems. Based on thorough theoretical analyses, the author develops concepts for solutions of real-world settings, in particular for scalable...
The Internet and the worldwide web play an increasingly important role in our private and professional activities, for example in accessing informatio...
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing, UbiComp 2004, held in Nottingham, UK in September 2004.
The 26 revised full papers presented were carefully reviewed and selected from 145 submissions. The papers address all current issues in ubiquitous computing ranging from algorithmic and systems design and analysis issues to applications in various contexts.
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing, UbiComp 2004, held in Nottingham, UK in...
The previous conference in this series (AMTA 2002) took up the theme "From Research to Real Users," and sought to explore why recent research on data-driven machine translation didn't seem to be moving to the marketplace. As it turned out, the ?rst commercial products of the data-driven research movement were just over the horizon, andintheinterveningtwoyearstheyhavebeguntoappearinthemarketplace. Atthesame time, rule-basedmachinetranslationsystemsareintroducingdata-driventechniquesinto the mix in their products. Machine translation as a software application has a 50-year history. There are an...
The previous conference in this series (AMTA 2002) took up the theme "From Research to Real Users," and sought to explore why recent research on data-...
