Caml Home Page. http://pauillac.inria.fr/caml/index-eng.html. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Policy-Directed Certificate Retrieval - Gunter, Jim (2000) (12 citations) (Correct)
....names that can be used in membership certificates, and negative names that can be used in non membership certificates. By enforcing such restrictions we can guarantee that inconsistencies like the example above can never occur. 4.7. Details of the implementation QCM is implemented in Caml [5], a dialect of the language ML. We chose Caml based on our own background as ML programmers and because of very positive experiences with Caml as a language for writing distributed and network programs. In particular, our own active network implementation [17] and projects elsewhere such as ....
Caml home page. Http://pauillac.inria.fr/caml/index-eng.html.
Safe and Efficient Active Packets - Moore (1999) (2 citations) (Correct)
....in Section 4. In particular, all SNAP programs are guaranteed to terminate, and, more speci cally, will run in time linear in their length. We have chosen a bytecode style language to permit the application of current techniques in fast interpretation and compact representation (e.g. for Ocaml [1, 10]) For purposes of space and simplicity, we present six main classes of SNAP bytecodes. Although there are actually far more bytecodes, many of them are simple primitive operations (e.g. arithmetic) and can be grouped together to specify the semantics. There are also some bytecodes that can be ....
Caml home page. http://pauillac.inria.fr/ caml/index-eng.html.
Network Programming Using PLAN - Hicks, Kakkar, Moore, Gunter, Nettles (1998) (8 citations) (Correct)
....model. A more detailed analysis of this issue may be found in [12] Because PLAN programs are limited in nature, they form only one part of our architecture. Additional functionality is available via calls to node resident services, which may be written in general purpose languages, such as Caml [6] or Java [8] Some services may be available only to certain users and therefore may require authentication and authorization of the packets requesting their use. To provide full extensibility, service routines can be dynamically loaded into routers. Together, PLAN packets and general purpose ....
....projects, each of which provides its own programming model: The Active Bridge [5] is part of the SwitchWare Project [19] at the University of Pennsylvania, and provides a study of the kinds of services that PLAN is meant to provide glue for. It is an extensible software bridge where OCaml [6] services can be added to provide new functionality, including dynamic service cutover between different network topology standards. Work on the Active Bridge evolved into ALIEN [1] In ALIEN, packets can be programmed in a general purpose programming language (Caml) This requires more ....
Caml home page. http://pauillac.inria.fr/caml/index-eng.html.
The SwitchWare Active Network Implementation - Scott Alexander (1998) (9 citations) (Correct)
....19, 35] a few of which have released software. Our SwitchWare perspective was first described in [16] and has been considerably refined as we gained deeper insight into active networking. It was the first active network prototype to be publically released, and is implemented largely in the Caml [12] dialect of the ML programming language, using the OCaml implementation. We were instigated to use Caml because of its success in several other distributed computing and networking projects such as Ensemble [15] and MMM [26] We found ourselves able to achieve Presented at the 1998 ML Workshop ....
Caml home page. http://pauillac.inria.fr/ caml/ index- eng.html.
PLAN: A Packet Language for Active Networks - Hicks (1998) (94 citations) (Correct)
....Second, the heterogeneous nature of an internetwork means that the implementation language should be easily portable. Third, our implementation language needed to provide strong typing for safety. We have completed implementations of PLAN in two languages that meet these requirements: OCaml [4] and the Pizza [19] extension to Java [7] Our most current implementation is in OCaml due to the need for access to the source code to provide Ethernet access for our internetwork PLANet. We currently transmit abstract syntax trees in our packets, and use an RPC style marshalling scheme for the ....
....active packets. Numerous other motivations for the advent of active networks are described in [28] Several other active networking projects address parts of the same design space as PLAN. The Active Bridge [2] is part of the SwitchWare Project [26] at the University of Pennsylvania. It uses OCaml [4] as a service language for constructing an extensible bridge. The dynamic loading infrastructure provided by the Active Bridge forms a basis for the PLANet internetwork. ANTS [29] Active Network Transfer System) is a toolkit for deploying Java protocols on active nodes. It provides implicit ....
Caml home page. http://pauillac.inria.fr/caml/index-eng.html.
A Taxonomy of Active Code - Alexander, Hicks, Keromytis, Moore.. (1999) (2 citations) (Correct)
....for the correct operation of the network. Code in the network (in the form of active extensions or packets) needs protection from other pieces of code. In closed systems, such protection ( isolation ) is provided by either the operating system (e.g. memory protection) the language runtime [9, 6], or some other mechanism [14, 13] While similar techniques can be applied inside an active switch, additional mechanisms are necessary to enforce isolation across a network. Due to the network s distributed nature, principal authentication and authorization is not as easy as in an operating ....
Caml home page. http://pauillac.inria.fr/caml/index-eng.html.
The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar.. (1998) (9 citations) (Correct)
....19, 35] a few of which have released software. Our SwitchWare perspective was first described in [16] and has been considerably refined as we gained deeper insight into active networking. It was the first active network prototype to be publically released, and is implemented largely in the Caml [12] dialect of the ML programming language, using the OCaml implementation. We were instigated to use Caml because of its success in several other distributed computing and networking projects such as Ensemble [15] and MMM [26] We found ourselves able to achieve Contact author: Carl A. Gunter, ....
Caml home page. http://pauillac.inria.fr/ caml/ index- eng.html.
LARA++ Design Specification - Schmid (2000) (Correct)
No context found.
Caml Home Page. http://pauillac.inria.fr/caml/index-eng.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC