4474 search results - page 214 / 895 » Design Tools for User Experience Design |
124
Voted
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
147
Voted
ENTCS
2006
15 years 5 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
124
click to vote
AEI
1998
15 years 4 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
128
click to vote
TSMC
2002
15 years 4 months ago
2002
Abstract--Most genetic algorithm (GA) users adjust the main parameters of the design of a GA (crossover and mutation probability, population size, number of generations, crossover,...
164
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Virtual reality is a useful tool to train individuals for various different situations or scenarios. A single person utilizing a virtual environment can greatly enhance their skil...