Informática

2009

1. A Declarative Debugger for Maude Functional Modules

   Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

2. A Logical Framework for Debugging in Declarative Constraint Programming

   Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 119-135

3. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

   Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182

4. A Rewriting Semantics for Maude Strategies

   Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

5. A SWEBOK-based viewpoint of the web engineering discipline

   Journal of Universal Computer Science, Vol. 15, Núm. 17, pp. 3169-3200

6. A Sol-Gel based magneto-optical device for the NANOSAT space mission

   Journal of Sol-Gel Science and Technology, Vol. 50, Núm. 2, pp. 254-259

7. A debugging system based on natural semantics

   Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

8. A decentralized model for scheduling independent tasks in Federated Grids

   Future Generation Computer Systems, Vol. 25, Núm. 8, pp. 840-852

9. A degree bound for globally generated vector bundles

   Mathematische Zeitschrift, Vol. 262, Núm. 3, pp. 517-525

10. A featured-based strategy for stereovision matching in sensors with fish-eye lenses for forest environments

    Sensors, Vol. 9, Núm. 12, pp. 9468-9492

11. A framework for low energy data management in reconfigurable multi-context architectures

    Journal of Systems Architecture, Vol. 55, Núm. 2, pp. 127-139

12. A hybrid mechanism for resource/service discovery in ad-hoc grids

    Future Generation Computer Systems, Vol. 25, Núm. 7, pp. 717-727

13. A method to eliminate the event accumulation problem from a memory affected by multiple bit upsets

    Microelectronics Reliability, Vol. 49, Núm. 7, pp. 707-715

14. A method to learn the inverse kinematics of multi-link robots by evolving neuro-controllers

    Neurocomputing, Vol. 72, Núm. 13-15, pp. 2806-2814

15. A metrics suite for the communication of multi-agent systems

    JoPha: Journal of Physical Agents, Vol. 3, Núm. 2, pp. 7-14

16. A multi-agent system architecture for sensor networks

    Sensors, Vol. 9, Núm. 12, pp. 10244-10269

17. A new single-sensor magnetic field gradiometer

    Sensor Letters, Vol. 7, Núm. 4, pp. 563-570

18. A reconfigurable modular architecture to exploit word-level parallelism

    Journal of Circuits, Systems and Computers, Vol. 18, Núm. 7, pp. 1227-1241

19. A recursive architecture for hierarchical grid resource management

    Future Generation Computer Systems, Vol. 25, Núm. 4, pp. 401-405

20. A technique for defining metamodel translations

    IEICE Transactions on Information and Systems, Vol. E92-D, Núm. 10, pp. 2043-2052