Sciweavers

9267 search results - page 102 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
IWC
2000
106views more  IWC 2000»
13 years 8 months ago
An analysis of errors in interactive proof attempts
The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of rese...
J. Stuart Aitken, Thomas F. Melham
EURODAC
1995
IEEE
148views VHDL» more  EURODAC 1995»
14 years 16 days ago
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
Konstantin O. Petrosjanc, I. A. Kharitonov, N. I. ...
AUIC
2005
IEEE
13 years 11 months ago
A Taxonomic Analysis of User-Interface Metaphors in the Microsoft O ce Project Gallery
User-interface metaphors are not well understood in terms of their relationships and qualities. They are, however, constantly used both consciously and unconsciously in most user-...
Pippin Barr, Rilla Khaled, James Noble, Robert Bid...
ECTEL
2008
Springer
13 years 10 months ago
e-Learning in Higher Education: Searching for a Model of Curriculum Analysis
The main purpose behind the design of this experience is the idea of obtaining useful information to know how the online courses in our University have been developed, and trying t...
Linda J. Castaneda
INTEGRATION
2008
94views more  INTEGRATION 2008»
13 years 9 months ago
Variability in nanometer CMOS: Impact, analysis, and minimization
Variation is a significant concern in nanometer-scale CMOS due to manufacturing equipment being pushed to fundamental limits, particularly in lithography. In this paper, we review...
Dennis Sylvester, Kanak Agarwal, Saumil Shah