1292 search results - page 115 / 259 » A Designer's Guide to KEMs |
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
Software development can be thought of as the evolution act requirements into a concrete software system. The evolution, achieved through a successive series of elaborations and r...
IWPC
1998
IEEE
14 years 10 days ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
IJMMS
2007
13 years 8 months ago
2007
The cooperation between designers, engineers and scientists in the human–computer interaction (HCI) community is often difficult, and can only be explained by investigating the...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...