Designing instruction set processors and constructing their compilers are mutually dependent tasks. Piper is a high level synthesis tool of ADAS which controls the hardware-softwa...
Pervasive technologies are increasingly being developed and used outdoors in different and innovative ways. However, designing user experiences for outdoor environments presents m...
Eric Harris, Geraldine Fitzpatrick, Yvonne Rogers,...
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
: Nowadays the virtual reality technology is a topic of present and is an interest for research and development. There are different devices with which the user may enter, observe ...
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...