This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...
This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interac...
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
—A color filter array (CFA) used in a digital camera is a mosaic of spectrally selective filters, which allows only one color component to be sensed at each pixel. The missing ...
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...