Sciweavers

469 search results - page 43 / 94
» The problem of integrating ethics into IS practice
Sort
View
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
14 years 11 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
FMCAD
2008
Springer
14 years 11 months ago
A Write-Based Solver for SAT Modulo the Theory of Arrays
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
CADUI
2004
14 years 11 months ago
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
Susana Montero, Camino Fernández, Juan Manu...
ECEH
2006
193views Healthcare» more  ECEH 2006»
14 years 11 months ago
SAPHIRE - Intelligent Healthcare Monitoring based on Semantic Interoperability Platform - The Homecare Scenario
Abstract: The SAPHIRE project aims to develop an intelligent healthcare monitoring and decision support system on a platform integrating the wireless medical sensor data with hospi...
Andreas Hein, Oliver Nee, Detlev Willemsen, Thomas...
DIGRA
2005
Springer
15 years 3 months ago
Opening the Production Pipeline: Unruly Creators
This paper explores the implications and uptakes of game developers’ increasing reliance on the creative labour of fan content creators. It draws on an ethnographic account of A...
John Banks