Sciweavers

3618 search results - page 166 / 724
» Enabling or disabling technologies
Sort
View
IJCSA
2010
110views more  IJCSA 2010»
13 years 8 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
PUC
2010
77views more  PUC 2010»
13 years 8 months ago
Rhythms and plasticity: television temporality at home
Abstract Digital technologies have enabled new temporalities of media consumption in the home. Through a field study of home television viewing practices, we investigated temporal...
Lilly Irani, Robin Jeffries, Andrea Knight
CBSE
2005
Springer
14 years 3 months ago
Unlocking the Grid
The grid has emerged as a novel paradigm that supports seamless cooperation of distributed, heterogeneous computing resources in addressing highly complex computing and data manage...
Chris Mattmann, Nenad Medvidovic, Paul M. Ramirez,...
WWW
2005
ACM
14 years 10 months ago
Designing learning services: from content-based to activity-based learning systems
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
Pythagoras Karampiperis, Demetrios G. Sampson
DAC
2009
ACM
14 years 4 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...