506 search results - page 5 / 102 » Constructor-based observational logic |
46
Voted
ENTCS
2006
14 years 10 months ago
2006
80
Voted
JLP
2006
14 years 10 months ago
2006
82
Voted
TCAD
1998
14 years 10 months ago
1998
—A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random...
74
Voted
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
LOGCOM
2010
14 years 5 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...