3330 search results - page 207 / 666 » software 2010 |
DGO
2010
13 years 11 months ago
2010
Having developed Metavid.org, a site that archives video footage of the U.S. Congressional proceedings, we build upon the platform to enable peer review of expert testimony within...
SOFTWARE
2010
13 years 9 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
PEPM
2010
ACM
14 years 7 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
FSTTCS
2010
Springer
13 years 9 months ago
2010
Springer
Given a zero-sum infinite game we examine the question if players have optimal memoryless deterministic strategies. It turns out that under some general conditions the problem for...