Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

ICALP { the International Colloquium on Automata, Languages, and Progr- ming { is a series of annual conferences of the European Association for Th- retical Computer Science (EATCS). ICALP'99 was organized by the Institute of Computer Science of the Academy of Sciences of the Czech Republic in - operation with the Action M Agency. Stimulated by the positive experience from previous meetings, the guiding idea of the ICALP'99 organization was to keep and to enhance the idea of a parallel two{track conference with invited plenary talks. Similarly to the two parts of the journal Theoretical Computer Science, Track A of the meeting is devoted to Algorithms, Automata, Complexity, and Games, and Track B to Logic, Semantics, and Theory of Programming. The Program Committee was structured along these same lines. As a further inno- tion, ICALP'99 was coordinated with the European Symposium on Algorithms (ESA'99) in such a way that both conferences took place in the same location with the former immediately followed by the latter. ICALP'99 was the 26th in the series of ICALP colloquia. Previous colloquia were held in Paris (1972), Saarbruc ] ken (1974), Edinburgh (1976), Turku (1977), Udine (1978), Graz (1979), Amsterdam (1980), Haifa (1981), Aarhus (1982), Barcelona (1983), Antwerp (1984), Nafplion (1985), Rennes (1986), Karlsruhe (1987), Tampere (1988), Stresa (1989), Warwick (1990), Madrid (1991), Vienna (1992), Lund (1993), Jerusalem (1994), Szeged (1995), Paderborn (1996), Bo- gna (1997), and Aalborg (1998). In the year 2000 ICALP will be held in Geneva."

Conceptual Modeling for User Interface Development introduces the technique of Entity-Relationship-Modeling and shows how the technique can be applied to interface issues. It explains those aspects of entity-relationship modeling which are relevant to ERMIAs, and it presents the extensions to the notation that are necessary for modeling interfaces. This book is aimed at both interface designers and software developers in an attempt to bridge the gap in the development of interactive systems. Too often, when software is being developed, the software engineers do not sufficiently consider how easy the system will be to learn and use. On the other side, interface specialists tend to express their concerns in ways which are either too detailed to be readily understood or in ways which are difficult for the software developer to implement. ERMIA provides a set of concepts which can be used equally easily by software developers and interface designers alike.

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed "coordination languages," "con?guration languages," "arc- tectural description languages," and "agent-oriented programming languages." Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom- nents and their interaction within the overall software organization. This se- ration makes complex applications more tractable, supports global analysis, and enhances the reuse of software components. The proceedings of the previous two conferences on this topic were published by Springer as Lecture Notes in Computer Science 1061 and 1282. This issue of LNCS containing the papers presented at Coordination '99 continues the tradition of carefully selected and high quality papers representing the state of the artin coordinationtechnology.In responseto thecallfor papers, wereceived 67 submissions, from which 26 papers were accepted. These proceedings also contain abstracts for posters presented at the conference. This year's program features invited talks by Rocco De Nicola and Danny B. Lange. Reading through the papers, we expect that you may be surprised by the variety of disciplines within computer science that have embraced the notion of coordination. In fact, we expect this trend to continue, and hope that you will contribute to the on-going exploration of its strengths, weaknesses, and applications.

Approaches to project scheduling under resource constraints are discussed in this book. After an overview of different models, it deals with exact and heuristic scheduling algorithms. The focus is on the development of new algorithms. Computational experiments demonstrate the efficiency of the new heuristics. Finally, it is shown how the models and methods discussed here can be applied to projects in research and development as well as market research.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022. The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions. DASFAA 2022 presents the following five workshops: * First workshop on Pattern mining and Machine learning in Big complex Databases (PMBD 2021) * 6th International Workshop on Graph Data Management and Analysis (GDMA 2022) * First International Workshop on Blockchain Technologies (IWBT2022) * 8th International Workshop on Big Data Management and Service (BDMS 2022) * First workshop on Managing Air Quality Through Data Science * 7th International Workshop on Big Data Quality Management (BDQM 2022).

LCPC'98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, we thank all the authors and participants of the workshop. It is their signi cant research work and their enthusiastic discussions throughout the workshopthat made LCPC'98 a success. May 1999 Siddhartha Chatterjee Program Chair Preface The year 1998 marked the eleventh anniversary of the annual Workshop on Languages and Compilers for Parallel Computing (LCPC), an international - rum for leading research groups to present their current research activities and latest results. The LCPC community is interested in a broad range of te- nologies, with a common goal of developing software systems that enable real applications. Amongthetopicsofinteresttotheworkshoparelanguagefeatures, communication code generation and optimization, communication libraries, d- tributed shared memory libraries, distributed object systems, resource m- agement systems, integration of compiler and runtime systems, irregular and dynamic applications, performance evaluation, and debuggers. LCPC'98 was hosted by the University of North Carolina at Chapel Hill (UNC-CH) on 7 - 9 August 1998, at the William and Ida Friday Center on the UNC-CH campus. Fifty people from the United States, Europe, and Asia attended the workshop. The program committee of LCPC'98, with the help of external reviewers, evaluated the submitted papers. Twenty-four papers were selected for formal presentation at the workshop. Each session was followed by an open panel d- cussion centered on the main topic of the particular session.

It is a great pleasure to present this collection of papers from LCR '98, the Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. The LCR workshop is a bi-annual gathering of computer scientists who develop software systems for parallel and distributed computers. LCR is held in alternating years with the ACM Symposium on Principles and Practice of Parallel Programming (PPoPP) and draws from the same community. This fourth meeting was held in cooperation with ACM SIGPLAN on the c- pus of Carnegie Mellon University, May 28{30, 1998. There were 60 registered attendees from 9 nations. A total of 47 6-page extended abstracts were s- mitted. There were a total of 134 reviews for an average of 2.85 reviews per submission. Submissions were rank ordered by average review score. The top 23 submissions were selected as full papers and the next 9 as short papers. The program committee consisted of David Bakken (BBN), Ian Foster (- gonne), Thomas Gross (CMU and ETH Zurich), Charles Koelbel (Rice), Piyush Mehrotra (ICASE), David O'Hallaron, Chair (CMU), Joel Saltz (Maryland), - spal Subhlok (CMU), Boleslaw Szymanski (RPI), Katherine Yelick (Berkeley), and Hans Zima (Vienna).

This book constitutes the proceedings of the Fourth International Workshop on Mul timedia Information Systems (MIS'98) held in Istanbul, Turkey in September 1998. This workshop builds upon the success of the three previous workshops in this series that were held in Arlington, VA, West Point, NY, and Como, Italy. As in the past, this is a small focused workshop, consisting of participants drawn from a wide variety of disciplines (e. g. theory, algorithms, real time systems, networks, operating sys tems, graphics and visualization, databases, artificial intelligence, etc. ), all of which focus on research on one or more aspects of multimedia systems. The workshop program included 19 technical papers, three invited talks, and one panel. Of the technical papers 13 were accepted as regular papers and 6 as short con tributions. These papers cover a number of areas including: Multimedia storage system design Image storage and retrieval systems Quality of service considerations Networking support for multimedia information systems Distributed virtual environments Multimedia system architecture issues The invited talks were given by three experts well known for their work in this area. Satish K. Tripathi's (University of California, Riverside) talk was on "Quality of Service Support for Multimedia Data on Internet," Paul Emmerman (US Army Re search Laboratory) discussed "Visualizing the Digital Battlefield," and Val Tannen (University of Pennsylvania) presented "Heterogeneous Data Integration with Mobile Information Manager." The panel discussion, organized by Chahab Nastar of INRIA, France, addressed "Trends in Visual Information Retrieval.

Client/server and distributed technologies have made great strides since their emergence in the late 1980s to become very popular in the IT industry today. This book illustrates techniques not only for designing GUI client/server applications, but also for managing complex application environments containing both legacy and new applications. Topics covered in this book include - The what, when and how of the three tier client/server model - Coupling and dependency: key design factors in distributed systems - Distributed application design alternatives for the enterprise - The Federated application structure for integrating the applications of the enterprise - A real-life case study of a major financial institution - Systems Architects and senior technical staff Project Managers and Software Engineers involved with or interested in client/server computing, and final year undergraduate and postgraduate students will find this book useful.

This book constitutes the proceedings of the Second International Workshop on Mobile Agents, MA'98, held in Stuttgart, Germany, in September 1998.
The 21 revised full papers presented were carefully selected from a total of 45 submissions; also included are three invited contributions. The book is divided in topical sections on mechanisms for mobile agent systems, mobile agent architechtures, applications, mobile agent systems, security, and communication.

CAiSE*99 is the 11th in the series of International Conferences on Advanced Information Systems Engineering. The aim of the CAiSE series is to give - searchers and professionals from universities, research, industry, and public - ministrationthe opportunityto meetannuallytodiscussevolvingresearchissues and applications in the el d of information systems engineering; also to assist young researchersand doctoralstudents in establishing relationships with senior scientists in their areas of interest. StartingfromaScandinavianorigininthelate1980 s, CAiSEhasevolvedinto atrulyinternationalconferencewithaworldwideauthorandattendancelist.The CAiSE*99 programlisted contributions from 19 countries, from four continents These contributions, 27 full papers, 12 short research papers, six workshops, and four tutorials, were carefully selected from a total of 168 submissions by the international program committee. A special theme of CAiSE*99 was Component-based information systems engineering . Component-based approaches mark the maturity of any engine- ing discipline. However, transferingthis idea to the complex anddiverse worldof information systems has proven more di cult than expected. Despite numerous proposals from object-oriented programming, design patterns and frameworks, customizable reference models and standard software, requirements engine- ing and business re-engineering, web-based systems, data reduction strategies, knowledge management, and modularized education, the question of how to make component-oriented approaches actually work in information systems - mains wide open."

ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive."

Although machine interfaces have been made much easier for novices to learn, still very little is known about how users progress from novice to expert performance. This volume is based upon the results of one of the largest continuous field studies ever performed in human-computer interactiona seven year study involving 4,000 students at Sydney University. The results will be valuable to software developers and researchers.

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.

This book gathers together research from three key application themes of modelling in operational research - modelling to support evaluation and change in organisations; modelling within the development and use of organisational information systems; and the use of modelling approaches to support, enable and enhance decision support in organisational contexts. The issues raised provide valuable insight into the range of ways in which operational research techniques and practices are being successfully applied in today's information-centred business world. Modelling for Added Value provides a window onto current research and practise in modelling techniques and highlights their rising importance across the business, industrial and commercial sectors. The book contains contributions from a mix of academics and practitioners and covers a range of complex and diverse modelling issues, highlighting the broad appeal of this increasingly important subject area.

User modeling researchers look for ways of enabling interactive software systems to adapt to their users-by constructing, maintaining, and exploiting user models, which are representations of properties of individual users. User modeling has been found to enhance the effectiveness and/or usability of software systems in a wide variety of situations. Techniques for user modeling have been developed and evaluated by researchers in a number of fields, including artificial intelligence, education, psychology, linguistics, human-computer interaction, and information science. The biennial series of International Conferences on User Modeling provides a forum in which academic and industrial researchers from all of these fields can exchange their complementary insights on user modeling issues. The published proceedings of these conferences represent a major source of information about developments in this area.

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.
The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and run-time control of parallelism.

Dependability has always been an vital attribute of operational systems, regardless of whether they are highly-specialised (like electricity generating plants) or more general-purpose (like domestic appliances). This volume provides a highly-readable overview of the topic, concentrating on dependability as a life-cycle management issue rather than as a technical subject. Specifically avoiding technical language and complex mathematics, it is designed to be accessible to readers at all levels. It will be of particular interest to project managers and software engineers in industries where dependability is of particular importance, such as aerospace, process control, and mining. It will also provide useful reading material for students taking courses with modules in dependability. Felix Redmill and Chris Dale have both worked in industry for over 15 years, and now run successful consultancy businesses.

This book presents the refereed proceedings of the First International Conference on Mobile Agents, MA '97, held in Berlin, Germany, in April 1997.
Mobile Agents offer unique opportunities for structuring and implementing distributed systems. A wide range of applications has been identified for mobile agent technology, including electronic commerce, telecommunication services, network management, group work, and workflow management.
The 18 revised full papers presented in the volume were selected out of a total of 34 submissions; all in all they reflect the state of the art in the exciting area of mobile agent technology.

This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997.
The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for network-based computing systems.

This book constitutes the refereed proceedings of the Second International Conference on Worldwide Computing and Its Applications, WWCA'98, held in Tsukuba, Japan, in March 1998.
This volume presents 14 invited and survey papers together with 20 papers selected by the conference committee. The volume is divided into topical sections on distributed objects, distributed componentware, distributed systems platforms, Internet technology, mobile computing, interculture technology, collaborative media, collaborative support, information discovery and retrieval, novel network applications.

This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.
The volume presents 15 revised full papers selected from 50 submissions as well as 15 revised invited papers by leading researchers in this emerging area and two keynotes. The papers are organized in topical sections on distributed programming languages and systems, distributed object environments, cooperative computation, collaboration support Systems, collaborative media, novel distributed applications, Internet and protocols, distributed system platforms, mobile computing, and application gateways.

This book constitutes the refereed proceedings of the Third International Conference of the Austrian Center for Parallel Computation, ACPC '96, held in Klagenfurt, Austria, in September 1996.
The 15 revised full papers presented together with two keynote contributions were selected from 31 submissions by authors from 13 countries. Also included are two industrial papers and six posters. The topical emphasis of the book is on parallel databases and parallel input/output aspects; however also other topics are addressed, like parallel hardware, parallel numerics, parallel languages, and tools and algorithms.

27 contributions treat the state of the art in Monte Carlo and Finite Element methods for radiosity and radiance. Further special topics dealt with are the use of image maps to capture light throughout space, complexity, volumetric stochastic descriptions, innovative approaches to sampling and approximation, and system architecture. The Rendering Workshop proceedings are an obligatory piece of literature for all scientists working in the rendering field, but they are also very valuable for the practitioner involved in the implementation of state of the art rendering system certainly influencing the scientific progress in this field.