2498 search results - page 440 / 500 » A tool for materials exploration |
ENTCS
2006
14 years 12 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
104
click to vote
ECOI
2007
14 years 11 months ago
2007
Complex multi-dimensional datasets are now pervasive in science and elsewhere in society. Better interactive tools are needed for visual data exploration so that patterns in such ...
MANSCI
2007
14 years 11 months ago
2007
“Real options” is often viewed as a valuable managerial tool of flexibility and exploration in new technology investment. Real options theory has been criticized, however, due...
117
click to vote
JUCS
2010
14 years 10 months ago
2010
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...
135
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
As information technology supports more aspects of modern life, digital access has become an important tool for developing regions to lift themselves from poverty. Though broadban...