3495 search results - page 318 / 699 » On the random satisfiable process |
196
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
232
click to vote
ENTCS
2010
15 years 7 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
181
click to vote
IANDC
2008
15 years 7 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
185
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
196
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...