In 2010, HTML5 became the buzzword on the web developer scene. Large companies,
such as Google, Apple, and Microsoft, began to use the new technology.
The popularity of the catchword HTML5 grew, not least of all because of the
heated debate between Apple and Adobe over whether this would mean the end
of Flash.
Java EE 6, the latest version of the Java EE specification, adds several new features
to simplify enterprise application development. New versions of existing Java EE
APIs have been included in this latest version of Java EE. JSF 2.0 greatly simplifies
web application development. JPA 2.0 features a new criteria API and several other...
This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Faced with the steadily increasing complexity and rapidly shortening timeto-
market requirements designing electronic systems is a very challenging task.
To manage this situation effectively the level of abstraction in modeling has
been raised during the past years in the computer aided design community.
Meanwhile, for the so-called...
The purpose of this book is to provide a practical approach to managing security in
FPGA designs for researchers and practitioners in the electronic design automation
(EDA) and FPGA communities, including corporations, industrial and government
research labs, and academics. This book combines theoretical underpinnings with
a practical...
Dennis Ritchie at AT&T Bell Laboratories pioneered the C programming language in
the early 1970s. However, this programming language did not begin to gain widespread
popularity and support until the late 1970s.This was because, until that time, C compilers
were not readily available for commercial use outside of Bell Laboratories....
Cascading Style Sheets (CSS) is the W3C standard for the visual
presentation of web pages (although it can be used in other
settings as well). After a short introduction to the key concepts
of CSS, this pocket reference provides an alphabetical reference
to all CSS3 selectors, followed by an alphabetical reference to...
FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the...
This monograph presents a framework for modelling, specifying and verifying
systems composed of real-time discrete event processes. A discrete event system
consists of the plant (the object to be controlled) and a controller. For example,
the plant might consist of machines, robots and conveyors on the factory floor.
The objective of...
CSS3 is the latest standard for CSS, the syntax to control the style and layout of web pages.
CSS3 is completely backward-compatible, so you will not have to change your existing designs. The CSS3
specification is still under development by the World Wide Web Consortium (W3C). However, many of the
new CSS3 properties...
In early 1994, Tim Berners-Lee put out an open call for a virtual reality specification for
the Web; Mark Pesce and I answered. Only being able to afford one plane ticket, we sent
Mark to Geneva to present our Labyrinth prototype at the first-ever World Wide Web
Developers’ Conference. With typical bombast,...
