10159 search results - page 1853 / 2032 » System Design Validation Using Formal Models |
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
ISMAR
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present a novel framework to customize multimedia messages for mobile users. The goal is to generate a video message from a series of pictures. The framework inc...
CIE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
The joint controllers used in robots like the Sony Aibo are designed for the task of moving the joints of the robot to a given position. However, they are not well suited to the pr...