515 search results - page 74 / 103 » Towards a computational transportation science |
TCS
2010
14 years 8 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
We collected advice on how to succeed at learning to program from 164 CS1 students at 3 institutions during a "saying is believing"intervention designed to encourage a g...
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
93
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...
ISVD
2007
IEEE
15 years 3 months ago
2007
IEEE
Galaxy formation models oriented towards a ΛCDM cosmology envision galaxies as being built through the accretion of dwarf galaxies. Such galaxy accretion should appear as tidally...