1076 search results - page 102 / 216 » Operations on proofs and labels |
94
Voted
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
118
Voted
DAGM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
105
Voted
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
105
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract—Link bundling is a way to increase routing scalability whenever a pair of Label Switching Routers in MPLS are connected by multiple parallel links. However, link bundlin...
110
Voted
ICOIN
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents the Differentiated Services (DiffServ) over ATM based Multiprotocol Label Switching (MPLS) core network architecture. This network supports the Integrated Serv...