Sciweavers

250 search results - page 15 / 50
» The Art of the Possible
Sort
View
ALIFE
2007
14 years 9 months ago
"Life Is a Verb": Inflections of Artificial Life in Cultural Context
This review essay surveys recent literature in the history of science, literary theory, anthropology, and art criticism dedicated to exploring how the artificial life enterprise ha...
Stefan Helmreich
ACMDIS
2006
ACM
15 years 3 months ago
Staying open to interpretation: engaging multiple meanings in design and evaluation
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
Phoebe Sengers, Bill Gaver
PEPM
2009
ACM
15 years 6 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
76
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
Polynomial Time Approximations for Multi-Path Routing with Bandwidth and Delay Constraints
— In this paper, we study the problem of multi-path routing with bandwidth and delay constraints, which arises in applications for video delivery over bandwidth-limited networks....
Satyajayant Misra, Guoliang Xue, Dejun Yang
82
Voted
GLOBECOM
2006
IEEE
15 years 3 months ago
A New Framework for Indicating Terminal Capabilities in the IP Multimedia Subsystem
The standardization of the IMS as a multi-access network implies that it can be accessed by different classes of terminals. Even at the heart of the same class of terminals (mobile...
Bassam El Saghir, Noël Crespi