Sciweavers

1188 search results - page 93 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
OOPSLA
2007
Springer
15 years 10 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
ICCAD
2003
IEEE
175views Hardware» more  ICCAD 2003»
16 years 1 months ago
Path Delay Estimation using Power Supply Transient Signals: A Comparative Study using Fourier and Wavelet Analysis
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 ...
Abhishek Singh, Jitin Tharian, Jim Plusquellic
ACSAC
2010
IEEE
15 years 2 months ago
Forenscope: a framework for live forensics
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
Ellick Chan, Shivaram Venkataraman, Francis M. Dav...
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
15 years 8 months ago
Retrieval Situations and Belief Change
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...
David E. Losada, Alvaro Barreiro
ICALT
2007
IEEE
15 years 10 months ago
An Automatic Quiz Generation System for English Text
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...
Li-Chun Sung, Yi-Chien Lin, Meng Chang Chen