9006 search results - page 1290 / 1802 » Modeling Software |
174
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
162
click to vote
USS
2008
15 years 9 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
174
click to vote
WSC
2008
15 years 9 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
185
click to vote
WSC
2007
15 years 9 months ago
2007
I summarize my experience from having taught simulation to over 7000 students for over 30 years; to undergraduate, graduate and Ph. D. business students, executives and high schoo...
214
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...