12 search results - page 2 / 3 » ictcs 2003 |
ICTCS
2003
Springer
15 years 2 months ago
2003
Springer
54
Voted
ICTCS
2003
Springer
15 years 2 months ago
2003
Springer
96
Voted
ICTCS
2003
Springer
15 years 2 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
74
Voted
ICTCS
2003
Springer
15 years 2 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...
103
Voted
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
This work introduces two decision problems, StabilizerD and Orbit CosetD, and gives quantum reductions from them to the problem Orbit Superposition (Friedl et al., 2003), as well a...