Sciweavers

2940 search results - page 311 / 588
» Relational Parametricity and Control
Sort
View
SMC
2007
IEEE
111views Control Systems» more  SMC 2007»
16 years 27 days ago
Towards Visual Exploration of Topic Shifts
— This paper presents two approaches to visually analyze the topic shift of a pool of documents over a given period of time. The first of the proposed methods is based on a mult...
Kilian Thiel, Fabian Dill, Tobias Kötter, Mic...
SMC
2007
IEEE
137views Control Systems» more  SMC 2007»
16 years 27 days ago
Cooperative mixed strategy for service selection in service oriented architecture
—In Service Oriented Architecture (SOA), service brokers could find many service providers which offer same function with different quality of service (QoS). Under this condition...
Yimin Shen, Yushun Fan
CCS
2007
ACM
16 years 24 days ago
Extended privilege inheritance in RBAC
In existing RBAC literature, administrative privileges are inherited just like ordinary user privileges. We argue that from a security viewpoint this is too restrictive, and we be...
M. A. C. Dekker, J. G. Cederquist, Jason Crampton,...
ICMCS
2006
IEEE
132views Multimedia» more  ICMCS 2006»
16 years 20 days ago
Analysis and Evaluation of the Skype and Google-Talk Voip Systems
In this paper, we study Skype and Google Talk, two widely used VoIP systems, and compare their perceptual speech quality with that of our proposed system using UDP packet traces c...
Batu Sat, Benjamin W. Wah
ICNP
2006
IEEE
16 years 20 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...