In this paper, we describe an improvement of a calculation procedure of logic programs. The procedure proposed before is the combination of a replacement procedure of logical formulae and a transformation procedure of...
详细信息
In this paper, we describe an improvement of a calculation procedure of logic programs. The procedure proposed before is the combination of a replacement procedure of logical formulae and a transformation procedure of equations to disjunctive normal form, and it can calculate logical consequences of the completion of any given first-order logic program (FLP), which is equivalent to the FLP in two-valued logic, soundly and completely in three-valued logic. The new procedure is also the combination of them, but the transformation procedure is improved to be able to calculate two-valued logical consequences of the FLP more than the old one. We prove that it can calculate logical consequences of a completed program, which is not equivalent to the completion of the FLP, soundly and completely in three-valued logic.
A Natural Language Querying System is presented (NL-SIIUE). It enables the access to the Universidade de Évora Information System (SIIUE) heterogeneous databases. Dialog management is essential for the correct in...
详细信息
Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilit...
详细信息
The use of a National Instruments FieldPoint Real-Time Ethernet module, distributed I/O modules, and LabVIEW Real-Time software to build a networked system which can manage the fiber-reinforced plastic (FRP) vessel cu...
详细信息
The use of a National Instruments FieldPoint Real-Time Ethernet module, distributed I/O modules, and LabVIEW Real-Time software to build a networked system which can manage the fiber-reinforced plastic (FRP) vessel curing water bath system, is discussed. The system reliably monitors and automates the FRP vessel curing water bath system, while improving the control system, reducing the malfunction and defects, and increasing production. The embedded application runs on a FP-2000 controller running LabVIEW Real-Time and for the I/O hardware, FieldPoint distributed I/O modules are used. The upgraded system executed on a realtime platform, providing shorter and response times, and a much smaller hardware package.
We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is ...
详细信息
We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.
A VHDL model of the 8051 microcontroller is a key component for a course in hardware-software codesign, in its second year of development at University of Missouri-Rolla. Our paper discusses a software-centric user in...
详细信息
A VHDL model of the 8051 microcontroller is a key component for a course in hardware-software codesign, in its second year of development at University of Missouri-Rolla. Our paper discusses a software-centric user interface developed for this model using Tcl/Tk. preliminary experience with using the debugger in an undergraduate laboratory is discussed.
Noodle is an object-oriented environment for typical data processing in high energy and nuclear physics where data processing modules written in C++ can be dynamically loaded with ease. The primary design goal is to a...
详细信息
ISBN:
(纸本)0780382579
Noodle is an object-oriented environment for typical data processing in high energy and nuclear physics where data processing modules written in C++ can be dynamically loaded with ease. The primary design goal is to allow physicists to concentrate on data, logic and physics rather than tedious programming. It provides an intuitive object-oriented scripting interface in python language to control module parameters and data flow. Noodle also provides dependency resolution to encourage data versioning. The use cases and system architecture will be shown.
This paper explores how to characterize security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity fo...
详细信息
This paper explores how to characterize security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components. This enables software components as well as composers to "test" possible matches and mismatches between the security properties of the candidate components and the security requirements of the enclosing applications systems.
We present a framework where different visual notations may be implemented to suit different domains. The major characteristic of DAViLa is that it provides a domain independent framework to programming, adding compon...
详细信息
We present a framework where different visual notations may be implemented to suit different domains. The major characteristic of DAViLa is that it provides a domain independent framework to programming, adding components of interest for specific domains. A domain adaptation is achieved through implementation of domain specific components, which are added to the framework. The semantics of the framework is based on Combilog, a compositional programming method for relational programs. In Combilog, programming semantically is composition of sets of tuples.
暂无评论