1716 search results - page 268 / 344 » Proving Conditional Termination |
105
Voted
DSRT
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a solution to extend the Managed Bandwidth Service (MBS), which is provided on a backbone network using MPLS VPNs, to non-MPLS domains and also evaluates it. ...
114
Voted
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform class...
108
Voted
EPIA
2003
Springer
15 years 6 months ago
2003
Springer
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
115
Voted
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
88
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—In this paper we study the effectiveness of two power gating methods – transistor switches and MEMS switches – in reducing the power consumption of a design with a certain t...