7776 search results - page 124 / 1556 » Maintaining Maintainability |
111
click to vote
ENTCS
2008
15 years 4 months ago
2008
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
124
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
146
click to vote
PPL
2008
15 years 4 months ago
2008
We provide self-stabilizing algorithms to obtain and maintain a maximal matching, maximal independent set or minimal dominating set in a given system graph. They converge in linea...
108
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
The traditional account (TA) of first-person thought draws conclusions about this type of thinking from claims made about the first-person pronoun. In this paper I raise a worry fo...