ACM-GIS'99


Book Description




Compiler Construction


Book Description

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory 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 comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten 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.




Forest and Stream


Book Description







Ambient Intelligence


Book Description

This volume of the LNCS is the formal proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004. This event was held on November 8–10, 2004 at the Eindhoven University of Technology, in Eindhoven, the Netherlands. EUSAI 2004 followed a successful first event in 2003, organized by Philips Research. This turned out to be a timely initiative that created a forum for bringing together European researchers, working on different disciplines all contributing towards the human-centric technological vision of ambient intelligence. Compared to conferences working on similar and overlapping fields, the first EUSAI was characterized by a strong industrial focus reflected in the program committee and the content of the program. As program chairs of EUSAI 2004 we tried to preserve the character for this event and its combined focus on the four major thematic areas: ubiquitous computing, context awareness, intelligence, and natural interaction. Further, we tried to make EUSAI 2004 grow into a full-fledged double-track conference, with surrounding events like tutorials and specialized workshops, a poster and demonstration exhibition and a student design competition. The conference program included three invited keynotes, Ted Selker from MIT, Tom Rodden from the University of Nottingham and Tom Erickson from IBM.




Pattern Detection and Discovery


Book Description

The collation of large electronic databases of scienti?c and commercial infor- tion has led to a dramatic growth of interest in methods for discovering struc- res in such databases. These methods often go under the general name of data mining. One important subdiscipline within data mining is concerned with the identi?cation and detection of anomalous, interesting, unusual, or valuable - cords or groups of records, which we call patterns. Familiar examples are the detection of fraud in credit-card transactions, of particular coincident purchases in supermarket transactions, of important nucleotide sequences in gene sequence analysis, and of characteristic traces in EEG records. Tools for the detection of such patterns have been developed within the data mining community, but also within other research communities, typically without an awareness that the - sic problem was common to many disciplines. This is not unreasonable: each of these disciplines has a large literature of its own, and a literature which is growing rapidly. Keeping up with any one of these is di?cult enough, let alone keeping up with others as well, which may in any case be couched in an - familiar technical language. But, of course, this means that opportunities are being lost, discoveries relating to the common problem made in one area are not transferred to the other area, and breakthroughs and problem solutions are being rediscovered, or not discovered for a long time, meaning that e?ort is being wasted and opportunities may be lost.




Reliable Software Technologies - Ada-Europe '99


Book Description

This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.




Programming Languages and Systems


Book Description

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory 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 comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment 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.




Software Engineering Research, Management and Applications


Book Description

This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 – September 4, 2014 in Kitakyushu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. This publication captures 17 of the conference’s most promising papers.




Software Product Lines


Book Description

Software product lines are emerging as a critical new paradigm for software development. Product lines are enabling organizations to achieve impressive time-to-market gains and cost reductions. With the increasing number of product lines and product-line researchers and practitioners, the time is right for a comprehensive examination of the issues surrounding the software product line approach. The Software Engineering Institute at Carnegie Mellon University is proud to sponsor the first conference on this important subject. This book comprises the proceedings of the First Software Product Line Conference (SPLC1), held August 28-31, 2000, in Denver, Colorado, USA. The twenty-seven papers of the conference technical program present research results and experience reports that cover all aspects of software product lines. Topics include business issues, enabling technologies, organizational issues, and life-cycle issues. Emphasis is placed on experiences in the development and fielding of product lines of complex systems, especially those that expose problems in the design, development, or evolution of software product lines. The book will be essential reading for researchers and practitioners alike.