Sciweavers

1707 search results - page 147 / 342
» An Adaptive Service Selection Approach to Service Compositio...
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 8 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
OTM
2007
Springer
14 years 2 months ago
Trust Management Model and Architecture for Context-Aware Service Platforms
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
Ricardo Neisse, Maarten Wegdam, Marten van Sindere...
COMPSAC
2006
IEEE
14 years 2 months ago
A Biologically-Inspired Autonomic Architecture for Self-Healing Data Centers
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...
Paskorn Champrasert, Junichi Suzuki
SCW
2006
IEEE
14 years 2 months ago
Towards Unified QoS/SLA Ontologies
This paper reports on work in progress to produce a unified Quality of Service (QoS) ontology This ontology must be applicable to the main scenarios currently identified such as Q...
Glen Dobson, Alfonso Sánchez-Macián
NGC
2002
Springer
13 years 8 months ago
Offering a Multicast Delivery Service in a Programmable Secure IP VPN Environment
The programmable network approach is one possible solution to quickly adapt existing infrastructures to new requirements. This paper shows how programmable networking can be explo...
Lina Alchaal, Vincent Roca, Michel Habert