13101 search results - page 2249 / 2621 » The design and implementation of microdrivers |
189
click to vote
AIEDU
2005
15 years 7 months ago
2005
The Andes system is a mature intelligent tutoring system that has helped hundreds of students improve their learning of university physics. It replaces pencil and paper problem so...
186
click to vote
IJNSEC
2007
15 years 7 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
207
click to vote
IJRFITA
2007
15 years 7 months ago
2007
: This paper presents a novel Real-Time Localisation System (RTLS) based upon 2.45 GHz Surface Acoustic Wave (SAW) Radio Frequency Identification (RFID) systems. The system utilise...
206
click to vote
IJSNET
2007
15 years 7 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
205
Voted
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...