4957 search results - page 719 / 992 » Simplifying Distributed System Development |
174
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
172
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
157
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
130
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
174
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper examines the problem of predicting job runtimes by exploiting the properties of parameter sweeps. A new parameter sweep prediction framework GIPSy (Grid Information P...