Sciweavers

1351 search results - page 35 / 271
» Towards a Spreadsheet Engineering
Sort
View
CHI
2005
ACM
14 years 10 months ago
Effectiveness of end-user debugging software features: are there gender issues?
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
Laura Beckwith, Margaret M. Burnett, Susan Wiedenb...
FMCAD
1998
Springer
14 years 2 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
UAI
2007
13 years 11 months ago
"I Can Name that Bayesian Network in Two Matrixes!"
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...
Russell Almond
VEE
2012
ACM
232views Virtualization» more  VEE 2012»
12 years 5 months ago
DVM: towards a datacenter-scale virtual machine
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
Zhiqiang Ma, Zhonghua Sheng, Lin Gu, Liufei Wen, G...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Towards Safe Distributed Application Development
Patrick Th. Eugster, Christian Heide Damm, Rachid ...