4615 search results - page 409 / 923 » Virtual Classes and Their Implementation |
174
Voted
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
169
click to vote
ACE
2003
15 years 8 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
217
click to vote
VEE
2006
ACM
16 years 23 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
220
click to vote
SG
2005
Springer
16 years 9 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
200
click to vote
EWSN
2010
Springer
15 years 12 months ago
2010
Springer
One unfortunate consequence of the success story of wireless sensor networks (WSNs) in separate research communities is an evergrowing gap between theory and practice. Even though ...