Sciweavers

3291 search results - page 295 / 659
» Technology and Challenges of M-Commerce
Sort
View
ICWS
2009
IEEE
16 years 3 months ago
Discovery and On-demand Provisioning of Real-World Web Services
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the re...
Dominique Guinard, Vlad Trifa, Patrik Spiess, Bett...
ICCD
2005
IEEE
129views Hardware» more  ICCD 2005»
16 years 3 months ago
Temperature-Aware Voltage Islands Architecting in System-on-Chip Design
As technology scales, power consumption and thermal effects have become challenges for system-on-chip designers. The rising on-chip temperatures can have negative impacts on SoC p...
Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vi...
CHI
2010
ACM
16 years 1 months ago
Building interpretable discussions: for effective public engagement
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
Travis Kriplean
FLOPS
2010
Springer
16 years 1 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
HICSS
2009
IEEE
108views Biometrics» more  HICSS 2009»
16 years 1 months ago
Virtual Networks and Ethics: An Empirical Research in a Non-Governmental Organization
– This paper analyzes the opportunities offered by information and communication technologies (ICTs) and the related ethical issues they raise within the transparency practices of...
Antonino Vaccaro, Peter Madsen