Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...