9015 search results - page 1589 / 1803 » Using Structural Computing to Support Information Integratio... |
169
click to vote
HPCC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
171
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
171
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
154
click to vote
CSR
2007
Springer
16 years 22 days ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
185
click to vote
EAGC
2003
Springer
15 years 11 months ago
2003
Springer
In the paper we aim to describe the project developing the Migrating Desktop infrastructure for the mobile users in a simple way. We also focus on the development testbed, which i...