10159 search results - page 1753 / 2032 » System Design Validation Using Formal Models |
181
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
178
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Systems for fast search of personal information are rapidly becoming ubiquitous. Such systems promise to dramatically improve personal information management, yet most are modeled...
163
Voted
VRST
2009
ACM
15 years 11 months ago
2009
ACM
Virtual reality has been proposed as a training regime for a large number of tasks from surgery rehearsal (cf. [Robb et al. 1996], to combat simulation (cf. [U. S. Congress, Offi...
166
click to vote
IWC
2000
15 years 6 months ago
2000
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...
191
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Passive dynamics plays an important role in legged locomotion of the biological systems. The use of passive dynamics is expected for energy efficiency, self-stabilization agai...