2603 search results - page 283 / 521 » Design, use and experience of e-learning systems |
155
click to vote
ISVLSI
2007
IEEE
16 years 28 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
153
click to vote
ARC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we present a systematic design and implementation of reconfigurable interconnects on demand. The proposed on-chip interconnection network provides identic...
178
click to vote
CSCW
2004
ACM
16 years 2 days ago
2004
ACM
We present contextual collaboration, an approach to building collaborative systems that embeds collaborative capabilities into core applications, and discuss its advantages. We de...
166
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
185
click to vote
VL
1994
IEEE
15 years 10 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...