This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
Although still a relatively new undergraduate course of study at most colleges and universities, specialized degree programs in computer forensics and digital investigations are n...
The Intel Cup Undergraduate Embedded System Electronic Design Contest is an embedded system design invitational contest in China. This contest is held every two years since 2002. ...
Misconceptions have been identified in many subjects. However, there has been less investigation into students' interest in their misconceptions. This paper presents two indep...
Susan Bull, Andrew Mabbott, Peter Gardner, Tim Jac...