4074 search results - page 655 / 815 » Abstract Graph Transformation |
109
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
101
click to vote
CGI
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. In this paper, we propose a novel mesh deformation approach via manipulating differential properties non-uniformly. Guided by user-specified material properties, our met...
131
click to vote
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Proxy caching servers are widely deployed in today’s Internet. While cooperation among proxy caches can significantly improve a network’s resilience to denial-of-s...
116
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Adaptive rate/power control schemes have great potential to increase the throughput of wireless CDMA networks. In this paper, we investigate the additional gains achiev...
112
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...