Sciweavers

8982 search results - page 1534 / 1797
» Applications of Aglet Technology
Sort
View
CN
2007
106views more  CN 2007»
15 years 4 months ago
MIPv6 experimental evaluation using overlay networks
The commercial deployment of Mobile IPv6 has been hastened by the concepts of Integrated Wireless Networks and Overlay Networks, which are present in the notion of the forthcoming...
Pablo Vidales, Carlos Jesus Bernardos, Ignacio Sot...
IEPOL
2006
67views more  IEPOL 2006»
15 years 4 months ago
Platform competition and broadband uptake: Theory and empirical evidence from the European union
Broadband access provides users with high speed, always-on connectivity to the Internet. Due to its superiority, broadband is seen as the way for consumers and firms to exploit th...
Walter Distaso, Paolo Lupi, Fabio M. Manenti
IIE
2006
130views more  IIE 2006»
15 years 4 months ago
A Study on the Perception of Students towards Educational Weblogs
Weblogs are a popular form of easy-to-use personal publishing that has attracted millions of bloggers to share their personal thoughts, opinions, and knowledge on the web. The vers...
Andrew K. Lui, Sheung-On Choy, Yannie H. Y. Cheung...
IIE
2006
83views more  IIE 2006»
15 years 4 months ago
Is ICT a Lever for Educational Change? A Study of the Impact of ICT Implementation on Teaching and Learning in Hong Kong
Abstract. The ongoing, unprecedented growth of ICT, coupled with the globalisation of the economy, has created a huge challenge for education. This rapid growth of infusing ICT in ...
Emily M. L. Wong, Sandy C. Li
IJAIT
2006
106views more  IJAIT 2006»
15 years 4 months ago
An Empirical Evaluation of Automated Theorem Provers in Software Certification
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
Ewen Denney, Bernd Fischer 0002, Johann Schumann
« Prev « First page 1534 / 1797 Last » Next »