10462 search results - page 356 / 2093 » Towards a |
176
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
200
click to vote
PADL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
184
click to vote
PCI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
192
click to vote
PERVASIVE
2005
Springer
16 years 8 days ago
2005
Springer
Augmented Reality (AR) can naturally complement mobile computing on wearable devices by providing an intuitive interface to a three-dimensional information space embedded within ph...
142
Voted
PET
2005
Springer
16 years 8 days ago
2005
Springer