3458 search results - page 415 / 692 » Abstracting Control |
131
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
129
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
145
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
143
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
144
click to vote
HUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The physical disappearance of the computer, associated with Ubicomp, has led to a number of interaction challenges. Due to the lack of an interface users are losing contr...