1076 search results - page 102 / 216 » Operations on proofs and labels |
ACSAC
2007
IEEE
14 years 4 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 ...
DAGM
2005
Springer
14 years 3 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...
ACSD
2003
IEEE
14 years 3 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...
INFOCOM
2003
IEEE
14 years 3 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...
ICOIN
2001
Springer
14 years 2 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...