You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Distributed applications are a necessity in most central application sectors of the contemporary information society, including e-commerce, e-banking, e-learning, e-health, telecommunication and transportation. This results from a tremendous growth of the role that the Internet plays in business, administration and our everyday activities. This trend is going to be even further expanded in the context of advances in broadband wireless communication. New Developments in Distributed Applications and Interoperable Systems focuses on the techniques available or under development with the goal to ease the burden of constructing reliable and maintainable interoperable information systems providing...
This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003). RTCSA is an international conference organized for scientists and researchers from both academia and industry to hold intensive discussions on advancing technologies topics on real-time systems, embedded systems, ubiq- tous/pervasive computing, and related topics. RTCSA 2003 was held at the Department of Electrical Engineering of National Cheng Kung University in Taiwan. Paper submissions were well distributed over the various aspects of real-time computing and embedded system technologies. There were more than 100 participants from all...
Transputers constitute a revolutionary category of microprocessors for parallel processing which have become market leaders in 32-bit RISC architectures. The wide range of applications has caused a multitude of activities of user groups in all major countries, as well as regional activities on four continents. For the first time the collaboration of all these user groups has let to the organization of a world conference: Transputing '91.
How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts.
Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research resu...
This volume constitutes the proceedings of the “Second International Workshop on Cooperative Buildings (CoBuild’99) – Integrating Information, Organizations, and Architecture” held at the Carnegie Museum of Art in Pittsburgh on October 1–2, 1999. The success of the First International Workshop on Cooperative Buildings (CoBuild'98), held at GMD in Darmstadt in February 1998, showed that there is a demand for an appropriate forum to present research about the intersection of information technology, organizational innovation, and architecture. Thus, it was decided to organize a follow-up event. The decision of where to organize CoBuild’99 was straight forward. Since we had many high...
This book constitutes the refereed proceedings of the International Conference on Architecture of Computing Systems, ARCS 2002, held in Karlsruhe, Germany, in April 2002.The 18 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on context-aware systems, system aspects, networking, processor architecture, and middleware and verification.
Mobile computing is one of the biggest issues of computer technology, science and industry today. This book looks at the requirements of developing mobile computing systems and the challenges they pose to computer designers. It examines the requirements of mobile computing hardware, infrastructure and communications services. Information security and the data protection aspects of design are considered, together with telecommunications facilities for linking up to the worldwide computer infrastructure. The book also considers the mobility of computer users versus the portability of the equipment. The text also examines current applications of mobile computing in the public sector and future innovative applications.
The 2002 IFIP Workshop on Internet Technologies, Applications, and Societal Impact (WITASI 2002), held in Wroclaw, Poland, October 10-11, 2002, presents different research aspects of the Internet, both technical and societal. The workshop aims at getting together scientists and practitioners from different research areas to work together on Internet development and reflect on Internet consequences to the economy and society. The papers presented in these proceedings describe state-of-the-art research in such areas of Internet applications as languages, mobility, multimedia, quality of service, voice over IP, and wireless access. A total of 40 papers were submitted to WITASI 2002 out of which 18 papers were selected for presentation at the workshop and inclusion in the proceedings. The workshop also includes 4 invited papers. WIT ASI 2002 was sponsored by IFIP -the International Federation for Information Processing. It was organized by Working Group WG 6.4 on Internet Applications Engineering of the Technical Committee TC 6 on Communication Systems. Locally, WITASI 2002 was organized by the Institute of Control and Systems Engineering, Wroclaw University of Technology.