15778 search results - page 2815 / 3156 » Aikido and software engineering |
161
Voted
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
152
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
174
Voted
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
188
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
The Genome Halving Problem is motivated by the whole genome duplication events in molecular evolution that double the gene content of a genome and result in a perfect duplicated ge...
182
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...