Sciweavers

3291 search results - page 177 / 659
» Technology and Challenges of M-Commerce
Sort
View
KBSE
2006
IEEE
16 years 14 days ago
A Portable Compiler-Integrated Approach to Permanent Checking
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Eugen-Nicolae Volanschi
PATMOS
2004
Springer
15 years 11 months ago
Sleepy Stack Reduction of Leakage Power
Leakage power consumption of current CMOS technology is already a great challenge. ITRS projects that leakage power consumption may come to dominate total chip power consumption as...
Jun-Cheol Park, Vincent John Mooney III, Philipp P...
DATE
2003
IEEE
114views Hardware» more  DATE 2003»
15 years 11 months ago
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer  ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
Menno Lindwer, Diana Marculescu, Twan Basten, Rain...
EDUTAINMENT
2008
Springer
15 years 8 months ago
Teaching Machine Learning to Design Students
Machine learning is a key technology to design and create intelligent systems, products, and related services. Like many other design departments, we are faced with the challenge t...
Bram van der Vlist, Rick van de Westelaken, Christ...
AAAI
2000
15 years 7 months ago
The TheaterLoc Virtual Application
Although much has been written about various information integration technologies, little has been said regarding how to combine these technologies together to build an entire &qu...
Greg Barish, Craig A. Knoblock, Yi-Shin Chen, Stev...