Sciweavers

CLEIEJ
2006
192views more  CLEIEJ 2006»
14 years 15 days ago
Applying Software Metrics to evaluate Business Process Models
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Elvira Rolón Aguilar, Francisco Ruiz, F&eac...
CLEIEJ
2006
120views more  CLEIEJ 2006»
14 years 15 days ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto
CLEIEJ
2006
97views more  CLEIEJ 2006»
14 years 15 days ago
Prediction of RNA Pseudoknotted Secondary Structure using Stochastic Context Free Grammars (SCFG)
Pseudoknots are a frequent RNA structure that assumes essential roles for varied biocatalyst cell's functions. One of the most challenging fields in bioinformatics is the pre...
Rafael Garcia
CLEIEJ
2006
88views more  CLEIEJ 2006»
14 years 15 days ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
CLEIEJ
2006
142views more  CLEIEJ 2006»
14 years 15 days ago
About the Performance of SQLf Evaluation Mechanisms
In order to make more flexible database access the query language SQLf has been previously proposed. One of the SQLf features is the use of Fuzzy Quantifiers in Having Clause. For...
Yosmar Lopez, Leonid Tineo
CLEIEJ
2006
96views more  CLEIEJ 2006»
14 years 15 days ago
A Single-Version Algorithmic Approach to Fault Tolerant Computing Using Static Redundancy
This paper describes a single-version algorithmic approach to design in fault tolerant computing in various computing systems by using static redundancy in order to mask transient...
Goutam Kumar Saha
CLEIEJ
2006
126views more  CLEIEJ 2006»
14 years 15 days ago
Software Based Fault Tolerance against Byzantine Failures
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
Goutam Kumar Saha
CLEIEJ
2006
110views more  CLEIEJ 2006»
14 years 15 days ago
Requirements Engineering Contributions on the Development of Educational Software for the Blind or People with Impaired Vision -
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
Victor Francisco Araya Santander, Dorisvaldo Rodri...
CLEIEJ
2006
134views more  CLEIEJ 2006»
14 years 15 days ago
An ACO algorithm for image compression
This paper is an application of Ant Colony Metaheuristic (ACO) to the problem of image fractal compression using IFS. An ACO hybrid algorithm is proposed for image fractal compres...
Cristian Martinez
CLEIEJ
2006
87views more  CLEIEJ 2006»
14 years 15 days ago
Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
Stéphane Gançarski, Claudia Le&oacut...