668 search results - page 52 / 134 » Openness in Higher Education: Open Source, Open Standards, O... |
100
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
98
Voted
JSS
2007
15 years 13 days ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
106
Voted
AAAI
2010
15 years 2 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...
97
Voted
JCDL
2006
ACM
15 years 6 months ago
2006
ACM
Although recording of usage data is common in scholarly information services, its exploitation for the creation of valueadded services remains limited due to concerns regarding, a...
93
Voted
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...