This paper describes novel concepts of space bionanorobotic systems that are based on revolutionary bio-nano-mechanisms formed by protein and DNA based nano-components. Nano-robot...
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
— In this paper we examine the interaction and delivery requirements for Mobile TV. By comparing the features of traditional TV with current Mobile TV services we outline the de...
In this paper we describe the prototype of an archive of short movies. The project proposes two original solutions for implementing the interface of this archive: an organic metap...