3379 search results - page 510 / 676 » Powers of Two |
CONCURRENCY
2006
13 years 8 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We consider the General Gaussian Multiple Access Wire-Tap Channel (GGMAC-WT). In this scenario, multiple users communicate with an intended receiver in the presence of an intellige...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
What happens to a dictator once he is out of power is not just a matter of justice or a random result. Using game theory we show that post-power scenarios depend largely on two fac...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
FUIN
2006
13 years 8 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...