3468 search results - page 124 / 694 » An open logical framework |
113
Voted
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
111
click to vote
GRID
2007
Springer
15 years 21 days ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
92
Voted
ENTCS
2008
15 years 25 days ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
115
click to vote
TCS
2011
14 years 7 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
107
Voted
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...