8627 search results - page 1390 / 1726 » Software Engineering Using RATionale |
262
click to vote
FAABS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
170
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
222
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
189
click to vote
FSTTCS
2004
Springer
16 years 6 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 6 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...