138 search results - page 5 / 28 » Experience report: ocsigen, a web programming framework |
WEA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
WAC
2005
Springer
14 years 24 days ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
IMCSIT
2010
13 years 5 months ago
2010
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...