Buscar
Mostrando ítems 1-10 de 11
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(Universidad de Castilla-La Mancha, 2001-11)
La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se seleccionan infinitamente a menudo. Esta ...
Ponencia
UPSranker: Integrando Programación con Restricciones y Evaluación de Reglas para el Ranking de Servicios Web Semánticos
(Universidad Rey Juan Carlos, 2009)
El descubrimiento y ranking de servicios Web semánticos suele realizarse en base a una serie de preferencias de usuario, descritas usando un formalismo concreto que condiciona tanto la expresividad de las preferencias ...
Artículo
Wrapping Web Data Islands
(Graz University of Technology, 2008)
Ponencia
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
(Springer, 2002)
Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” ...
Artículo
From Wrapping to Knowledge
(IEEE Computer Society, 2007)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources on the Web. The reason is that they usually provide information that is in human-readable form ...
Ponencia
QoS-Aware Semantic Service Selection: An Optimization Problem
(IEEE Computer Society, 2008)
In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have to state his or her preferences, so services can be ranked according to these QOS parameters. ...
Ponencia
On User Preferences and Utility Functions in Selection: A Semantic Approach
(Springer, 2007)
Discovery tasks in the context of Semantic Web Services are generally performed using Description Logics. However, this formalism is not suited when non-functional, numerical parameters are involved in the discovery ...
Ponencia
Knowledge Channels: Bringing the Knowledge on the Web to Software Agents
(CEUR-WS, 2003)
In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with the information extracted, which improves agent interoperability; it can also deal with changes ...
Artículo
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming
(Springer Verlag, 2007)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical expressions, because they are usually based on Description Logics. Moreover, these kind of ...