699 search results - page 94 / 140 » mc 2008 |
90
Voted
WOTUG
2007
15 years 1 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
LREC
2008
15 years 1 months ago
2008
We evaluate the extent to which the distinction between semantically core and non-core dependents as used in the FrameNet corpus corresponds to the traditional distinction between...
106
click to vote
UMUAI
2008
15 years 11 days ago
2008
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
ICMLA
2008
15 years 1 months ago
2008
We have designed a framework for content based appraisal of documents. Our motivation is to provide computer assisted support for answering several appraisal criteria according to...
72
Voted
WOTUG
2008
15 years 1 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...