93 search results - page 2 / 19 » Using model checkers in an introductory course on operating ... |
FECS
2009
13 years 3 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
IJMMS
2008
13 years 5 months ago
2008
Although existing models of e-learning effectiveness in information systems (IS) have increased our understanding of how technology can support and enhance learning, most of our m...
HAPTICS
2005
IEEE
13 years 11 months ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
SIGCSE
2006
ACM
13 years 11 months ago
2006
ACM
The paper describes the first version of the TextMOLE (Text Mining Operations Library and Environment) system for textual data mining. Currently TextMOLE acts as an advanced inde...
FOSAD
2009
Springer
14 years 4 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...