786 search results - page 5 / 158 » A static theory of promises |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper introduces a method for computing the shape of a continuously-flexible (continuum) robot in 3-D space which includes gravity loading by applying Cosserat rod theory t...
CEJCS
2011
13 years 9 months ago
2011
: Network analytic method designed for the analysis of static networks promise to identify significant relational patterns that correlate with important structures in the complex ...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...