Sciweavers

1678 search results - page 124 / 336
» An ASM Specification of C
Sort
View
ICALT
2008
IEEE
14 years 4 months ago
Deriving E-Assessment from a Competency Model
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
DFT
2007
IEEE
104views VLSI» more  DFT 2007»
14 years 4 months ago
Reduction of Fault Latency in Sequential Circuits by using Decomposition
The paper discusses a novel approach for reduction of fault detection latency in a selfchecking sequential circuit. The Authors propose decomposing the finite state machine (FSM) ...
Ilya Levin, Benjamin Abramov, Vladimir Ostrovsky
ICALT
2007
IEEE
14 years 4 months ago
Finding the Right Tool for the Community: Bringing a Wiki-Type Editor to the World of Reusable Learning Objects
In this paper we present a new approach to enabling pedagogically sound reuse and re-purposing of online learning objects in a community of practice. The lack of specific software...
Chu Wang, Hugh C. Davis, Kate Dickens, Gary Wills,...
ICDM
2007
IEEE
133views Data Mining» more  ICDM 2007»
14 years 4 months ago
Can the Content of Public News Be Used to Forecast Abnormal Stock Market Behaviour?
A popular theory of markets is that they are efficient: all available information is deemed to provide an accurate valuation of an asset at any time. In this paper, we consider ho...
Calum Robertson, Shlomo Geva, Rodney C. Wolff
ISORC
2007
IEEE
14 years 4 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...