620 search results - page 112 / 124 » Concrete Abstractions |
ECIS
2000
13 years 11 months ago
2000
Abstract - Organizational learning requires individual learning. Individual learning has to interact in a dynamic social environment in order to contribute to organizational learni...
ICST
2011
IEEE
13 years 1 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
ACMDIS
2004
ACM
14 years 3 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
ROBOCOMM
2007
IEEE
14 years 4 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...