2603 search results - page 41 / 521 » Design, use and experience of e-learning systems |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
FSR
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes the basic control, navigation, and mapping methods and experiments a hovering autonomous underwater vehicle (AUV) designed to explore flooded cenotes in Mexi...
SNPD
2003
13 years 10 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...