706 search results - page 95 / 142 » Design Recovery of a Two Level System |
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Although still a relatively new undergraduate course of study at most colleges and universities, specialized degree programs in computer forensics and digital investigations are n...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
IEEEICCI
2007
IEEE
14 years 4 months ago
2007
IEEE
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
CIE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...