3330 search results - page 207 / 666 » software 2010 |
150
click to vote
DGO
2010
15 years 2 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...
93
Voted
SOFTWARE
2010
15 years 27 days 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 ...
116
Voted
PEPM
2010
ACM
15 years 11 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ï...
100
Voted
FASE
2010
Springer
15 years 9 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
15 years 16 days 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...