2940 search results - page 311 / 588 » Relational Parametricity and Control |
159
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
— 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...
199
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
—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...
117
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
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...
184
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
188
click to vote
ICNP
2006
IEEE
16 years 20 days ago
2006
IEEE
— 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...