4957 search results - page 719 / 992 » Simplifying Distributed System Development |
134
click to vote
CADE
2009
Springer
15 years 11 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...
141
click to vote
CCGRID
2009
IEEE
15 years 10 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...
122
click to vote
ATAL
2009
Springer
15 years 10 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...
103
click to vote
ATAL
2009
Springer
15 years 10 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...
134
click to vote
APSCC
2008
IEEE
15 years 10 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...