Sciweavers

JUCS
2006
126views more  JUCS 2006»
13 years 4 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
JUCS
2006
175views more  JUCS 2006»
13 years 4 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
JUCS
2006
68views more  JUCS 2006»
13 years 4 months ago
Time-varying H Systems Revisited
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
Remco Loos
JUCS
2006
99views more  JUCS 2006»
13 years 4 months ago
Japlo: Rule-based Programming on Java
Miklós Espák
JUCS
2006
94views more  JUCS 2006»
13 years 4 months ago
UML-Based Modeling of Data-oriented WEB Applications
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
Attila Adamkó
JUCS
2006
104views more  JUCS 2006»
13 years 4 months ago
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
Jaime Sánchez-Hernández
JUCS
2006
83views more  JUCS 2006»
13 years 4 months ago
Primary School Teachers in the Information Society
: This study represents a survey approach in order to analyse the information society in a regional setting. The first part deals with a current problematic issue: the human resour...
Robert Sinka
JUCS
2006
76views more  JUCS 2006»
13 years 4 months ago
Magic Sets for the XPath Language
Jesús Manuel Almendros-Jiménez, Anto...
JUCS
2006
95views more  JUCS 2006»
13 years 4 months ago
Fault Tolerant Neural Predictors for Compression of Sensor Telemetry Data
: When dealing with remote systems, it is desirable that these systems are capable of operation within acceptable levels with minimal control and maintenance. In terms or transmiss...
Rajasvaran Logeswaran
JUCS
2006
117views more  JUCS 2006»
13 years 4 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...