1076 search results - page 138 / 216 » Operations on proofs and labels |
TRIDENTCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....
IS
2006
13 years 9 months ago
2006
The processing and management of XML data are popular research issues. However, operations based on the structure of XML data have not received strong attention. These operations ...
ENTCS
2007
13 years 8 months ago
2007
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...