This book is primarily an introduction to the design of algorithms for problem solving.
Its prominent feature is to use a functional language as an implementation language.
Because of the high level of abstraction provided, functional programs tend to be shorter,
clearer and faster to develop than their imperative counterparts. This...
The REX School/Symposium *A Decade of Concurrency - Reflections and
Perspectives' was the final event of a ten year period of cooperation between three
Dutch research groups working on the foundations of concurrency. Ever since its
inception in 1983. the goal of the project has been'to contribute to the
crossfertilization...
R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational complexity of combinatorial and graph-theoretic problems.
In this lecture we discuss a type of computer organization which is
based upon the concept of operation sequencing being controlled by operand
availability. Such sequencing...
It is our pleasure to welcome you to the third edition of the International Symposium
on Engineering Secure Software and Systems.
This unique event aims at bringing together researchers from software engineering
and security engineering, which might help to unite and further develop
the two communities in this and future...
An academic dynasty has come together to write an excellent textbook on information retrieval.
Stefan Buttcher, Charles Clarke, and Gordon Cormack make up three generations of stellar
information retrieval researchers with over fifty years of combined experience. Buttcher was
Clarke's doctoral student, and Clarke was Cormack's...
The compiler is one of the most important aspects of system software. When
any computer user develops a computer program, one must use some programming
language, rather than using a computer instruction set. This implies
that there must be the compiler of the programming language that
has been installed on the computer one uses, and...
This book and its companion volume, LNCS vols. 6145 and 6146, constitute the
proceedings of the International Conference on Swarm Intelligence (ICSI 2010)
held in Beijing, the capital of China, during June 12-15, 2010. ICSI 2010 was
the first gathering in the world for researchers working on all aspects of swarm
intelligence, and...
The papers in this volume were presented at the 20th Annual International Symposium
on Algorithms and Computation, held December 16–18, 2009, in Hawaii,
USA. In response to the Call-for-Papers, 279 papers were submitted. Each paper
received at least three reviews by either Program Committee members or experts
selected by Program...
This volume contains the proceedings of the 17th International SPIN Workshop
on Model Checking Software (SPIN 2010). The workshop was organized by and
held at the University of Twente, The Netherlands, on 27–29 September 2010.
The workshop was co-located with the 5th International Conference on Graph
Transformation (ICGT 2010)...
This volume in the Springer Lecture Notes in Computer Science (LNCS) series
contains the papers presented at the S+SSPR 2010 Workshops, which was the
seventh occasion that SPR and SSPR workshops have been held jointly. S+SSPR
2010 was organized by TC1 and TC2, Technical Committees of the International
Association for Pattern...
Too often in the development of a large application, the developer must stop and think about where to find some class he needs, where some new class should go, and how to wire them up in such a way that gets data from wherever it lives to a display so the user can interact with it or vice-versa.
Today, Java is used at the heart of the world’s largest and most critical computing
systems. However, when I joined the Java team in 1997 the platform was young and
just gaining popularity. People loved the simplicity of the language, the portability
of bytecodes, and the safety of garbage collection (versus traditional...
