Sciweavers

2056 search results - page 262 / 412
» Detecting Errors in Spreadsheets
Sort
View
PDSE
1998
126views more  PDSE 1998»
15 years 6 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
PROCOMET
1998
15 years 6 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
MOBICOM
2010
ACM
15 years 4 months ago
Hermes: data transmission over unknown voice channels
While the cellular revolution has made voice connectivity ubiquitous in the developing world, data services are largely absent or are prohibitively expensive. In this paper, we pr...
Aditya Dhananjay, Ashlesh Sharma, Michael Paik, Ja...
DKE
2010
112views more  DKE 2010»
15 years 4 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
FGCS
2008
102views more  FGCS 2008»
15 years 4 months ago
Making the best of a bad situation: Prioritized storage management in GEMS
As distributed storage systems grow, the response time between detection and repair of the error becomes significant. Systems built on shared servers have additional complexity be...
Justin M. Wozniak, Paul Brenner, Douglas Thain, Aa...