329 search results - page 30 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper focuses on the task of text sentiment analysis in hybrid online articles and web pages. Traditional approaches of text sentiment analysis typically work at a particular ...
IEEEAMS
2003
IEEE
14 years 1 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a real-time communication protocol for sensor networks, called SPEED. The protocol provides three types of real-time communication services, namely, real...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we propose a new scalable application-layer protocol, specifically designed for data streaming applications with large client sets. This is based upon a control hie...