1188 search results - page 93 / 238 » Testing Semantics: Connecting Processes and Process Logics |
147
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
166
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Transient Signal Analysis (TSA) is a parametric device testing technique based on the analysis of dynamic (transient) current (iDDT) drawn by the core logic from the power supply ...
151
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
129
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
129
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
In this study, we design and prototype an automatic quiz generation system (auto-quiz for short) for a given English text to test learner comprehension of text content and English...