Sciweavers

10156 search results - page 197 / 2032
» Step by Step to Histories
Sort
View
CNSM
2010
15 years 5 months ago
Decomposition techniques for policy refinement
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandr...
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
15 years 5 months ago
Interleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
Richard Bubel, Reiner Hähnle, Ran Ji
IEEEICCI
2009
IEEE
15 years 4 months ago
Agent evaluations for role assignment
Abstract--Role assignment is an important task in RoleBased Collaboration (RBC). Agent evaluation is the first step of role assignment. The other two steps are group role assignmen...
Haibin Zhu, Matthew Grenier
AOR
2010
15 years 4 months ago
Sphere Methods for LP
The sphere method for solving linear programs operates with only a subset of constraints in the model in each iteration, and thus has the advantage of handling instances which may...
Katta G. Murty, Mohammad R. Oskoorouchi
JLP
2010
83views more  JLP 2010»
15 years 2 months ago
Stronger compositions for retrenchments
Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (...
Richard Banach, Czeslaw Jeske