Sciweavers

1144 search results - page 92 / 229
» Implementation of end-to-end abstractions in a network servi...
Sort
View
TOPLAS
2008
101views more  TOPLAS 2008»
15 years 1 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ICDCSW
2000
IEEE
15 years 5 months ago
Enabling Flexible QoS Support in the Object Request Broker COOL
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
Tom Kristensen, Thomas Plagemann
AHS
2006
IEEE
152views Hardware» more  AHS 2006»
15 years 7 months ago
Architecture of a Dynamically Reconfigurable NoC for Adaptive Reconfigurable MPSoC
This paper describes the architecture of our dynamically reconfigurable Network-on-Chip (NoC) architecture that has been proposed for reconfigurable Multiprocessor system-on-chip ...
Balal Ahmad, Ahmet T. Erdogan, Sami Khawam
OTM
2005
Springer
15 years 7 months ago
Seamless Engineering of Location-Aware Services
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
Gustavo Rossi, Silvia E. Gordillo, Andres Fortier
DAGSTUHL
1994
15 years 2 months ago
The Rampart Toolkit for Building High-Integrity Services
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
Michael K. Reiter