Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
Auditory displays are an ongoing topic of human computer interaction researchandhave been shown to be beneficial in human interfaces. Further, binaural spatial acoustic displays a...
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
The THOMAS system is designed to make legislative information available to the general public over the Internet, and can be regarded as a prototypeof a government digitallibrary. ...