2272 search results - page 69 / 455 » A Calculus for |
124
Voted
FSTTCS
2004
Springer
15 years 9 months 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...
137
Voted
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
138
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
119
Voted
ICTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
107
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— Redundant manipulators have some advantages when compared with classical arms because they allow the trajectory optimization, both on the free space and on the presence...