1975 search results - page 76 / 395 » Property analysis and design understanding |
137
click to vote
SOFTVIS
2006
ACM
15 years 12 months ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
152
click to vote
GLVLSI
2006
IEEE
16 years 2 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
131
click to vote
EXPERT
2002
15 years 5 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
141
click to vote
AUIC
2005
IEEE
15 years 11 months ago
2005
IEEE
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
161
click to vote
SIAMMA
2010
15 years 22 days ago
2010
In recent work nonlinear subdivision schemes which operate on manifold-valued data have been successfully analyzed with the aid of so-called proximity conditions bounding the diffe...