15777 search results - page 2829 / 3156 » Engineering in Software |
195
click to vote
ICST
2011
IEEE
14 years 8 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...
305
click to vote
CSEE
2011
Springer
14 years 8 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
159
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
199
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...
167
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
This paper presents Keypad, an auditing file system for theftprone devices, such as laptops and USB sticks. Keypad provides two important properties. First, Keypad supports fine...