This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
Application generators have been championed because they can be used to shorten a system’s development cycle and therefore lower its development costs. Application generators ar...