Encarna Pastor

Learn More
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and problem semantics allowing the inclusion of integration, differentiation and other operations not built-in to SWRL. Using this approach, it is possible to create rules to cope(More)
This paper describes pilot experiences of distance learning using videoconference over the public Integrated Services Digital Network (ISDN). Graduate and postgraduate courses of the Technical University of Madrid (Telecommunication Engineers) form the educational scenario chosen for the experiences. Several phases were defined to carry out the experiments,(More)
We present a technique for the estimation of power consumption in asynchronous circuits through the modelling of transition switching activity. Unlike most existing techniques for analytic (non-simulation) power estimation that use reachability state traversal and Markov chain analysis, our method is based on an invariant analysis of Petri Net models using(More)
This paper presents a framework based on ontologies, rules and mathematical semantic representation standards, for the automatic calculation of the level of quality of service perceived by the customers in telematic services. This automation is achieved by representing and using the mappings between technical quality of service and quality of experience in(More)
In a multicast video streaming service over a cellular network, the same content is sent to a mass audience using a common channel. However, users belonging to the same multicast channel perceive different characteristics of the radio channel. Moreover, in wireless environments, the radio interface introduces an important level of interference and noise,(More)
Nowadays, users are demanding access to video content anytime and anywhere. LTE broadcast services and video streaming services can reduce the resources used by telecommunication companies to give access to video content and open up new business opportunities. In this context, testbeds and simulation tools can help in the analysis of the different(More)
This paper presents a novel technique for synthesis of speed-independent circuits. It is based on partial order representation of the state graph called STG-unfolding segment. The new method uses approximation technique to speed up the synthesis process. The method is illustrated on the basic implementation architecture. Experimental results demonstrating(More)