9110 search results - page 357 / 1822 » Formally-Based Design Evaluation |
161
click to vote
MHCI
2005
Springer
16 years 4 days ago
2005
Springer
This paper includes a review of mobile applications used in museum environments, focusing on the notion of context and its constituent dimensions. Museums are a representative exa...
150
click to vote
ISER
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
165
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper deals with the design and dynamic control simulation of a new type of 4-DOFs parallel mechanism providing 3 translations and 1 rotation for highspeed handling and machi...
173
Voted
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
195
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...