2607 search results - page 62 / 522 » On the Architecture of System Verification Environments |
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper proposes a prediction approach that combines grey prediction model with three-layer computing architecture in Web environment. It presents a refined prediction formula ...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
103
click to vote
HOTOS
1997
IEEE
15 years 4 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
112
click to vote
OHS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
MC
2003
15 years 1 months ago
2003
Under headings such as ubiquitous, invisible and ambient computing, new approaches to human-computer interfacing are investigated that give primacy to the physical world. It is en...