1,721,074 research outputs found
Object-Oriented Thinking for the Internet
No full textThis talk introduces the basic concepts of the Common Object Request
Broker Architecture. These concepts are tools that designers can use to meet the requirements of large scale distributed applications, such as those that are made possible by the existence of a world-scale Internet
Petri nets in logic
No full textThis paper discusses logic programming techniques applied to Petri nets. A Prolog representation of Petri nets is introduced, which is used to execute and analyse the nets
Object-oriented techniques for distributed computation
No full textDistributed applications are currently built by means of a wide spectrum of programming and design techniques. This spectrum spans various dimensions, such a technique's dependency on languages, protocols, or software products, its adherence to some design or programming paradigm, the nature and complexity of its intended applications.
This paper surveys some interesting object-oriented techniques. The survey groups them first of all according to their degree of dependency on particular protocols or languages: the main division is between general frameworks (such as CORBA) and Web-based systems (such as CGI scripts). The latter may be further categorized according to their requirements on browsers. Within this main scheme, the other
relevant aspects are considered
Grid architectures and the European DataGrid
Full text linkThe term "Grid" is used in reference with wide area (possibly planetary)
computer networks that enable very large communities of users to access
massive computational facilities, ideally with the same transparency and ease that users of electrical devices, whether industrial machines or home appliances, expect from the electrical power grid. This paper introduces the basic concepts of Grid architectures, drawing upon the experience of the European DataGrid project, one of the most important enterprises in this field, aimed at providing support to scientific communities involved in High Energy Physics, Earth Observation, and Biology
Debugging logic programs at the implementation level
No full textWe propose debugging tools for the development of environments for logic programming languages. Such tools give implementation developers and programmers the possibility to access the abstract machine implementing a logic programming language (such as Prolog) in a well-structured manner
Gondor: Goedel on Andorra
No full textThis paper describes Gondor, a tool that translates Gödel programs into Andorra-I Prolog programs. Gödel is a logic programming language with types, modules, a flexible computation rule, and an original pruning operator. Andorra-I Prolog is a language supported by the Andorra parallel execution system. Gondor is then a parallel implementation of Gödel
Strumenti per lo studio di reti di Petri basati sulla programmazione logica
No full textIn questo lavoro viene proposto l'uso della programmazione logica per eseguire ed analizzare le reti di Petri. Vengono descritte una rappresentazione in Prolog delle reti, una procedura per la loro esecuzione, e delle procedure di classificazione
Compiling Prolog with a C compiler
No full textProlog programs can be compiled in two steps: a Prolog compiler translates them into an intermediate language based on the Warren Abstract Machine instruction set, and a C compiler macro-expands the intermediate language into C statements that are then compiled to the host machine language. The method affords rapid development of a very flexible tool for experimentation in Prolog implementations
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System
Full text linkInteractive, or computer-assisted, theorem proving is the verification of statements in a
formal system, where the proof is developed by a logician who chooses the appropriate inference steps, in turn executed by an automatic theorem prover. In this paper, interactive theorem proving is used to verify safety properties of a nonlinear (hybrid) control system
- …
