Información del autor
Documentos disponibles escritos por este autor (16)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing pure names, obtaining ?-PNs and proved that they are strictly well[...]texto impreso
Cleva Millor, José Miguel ; Gregorio Rodríguez, Carlos ; Rosa Velardo, Fernando | Editorial Complutense | 2005Uno de los objetivos principales de este trabajo es aclarar las diferencias entre conceptos y herramientas cuando se utilizan las tecnologías de la comunicación. En particular, queremos dejar claro que la esencia del Campus Virtual no es la herr[...]texto impreso
We prove several decidability and undecidability results for ?-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of reachability, by reducing reachability in nets with inhibitor ar[...]texto impreso
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T nets extended with replication, for which reachability is undecida[...]texto impreso
In previous works we defined ?-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverability remains decidable for them. We also extended P/T nets with th[...]texto impreso
We prove several decidability and undecidability results for nu-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of reachability, by reducing reachability in nets with inhibitor a[...]texto impreso
Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Rosa Velardo, Fernando ; Tamarit Muñoz, Salvador | 2015En este trabajo proponemos un sistema colaborativo para aprendizaje de lenguajes de programacióntexto impreso
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing pure names, obtaining ?-APNs and proved that they are strictly wel[...]texto impreso
We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamically producing pure names, with no relation between them other than equality or[...]texto impreso
We study the relationship between name creation and replication in a setting of infinite-state communicating automata. By name creation we mean the capacity of dynamically producing pure names, with no relation between them other than equality o[...]texto impreso
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. However, they also have some disadvantages: they are based on a sequenti[...]texto impreso
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a collection of (possibly mobile) hardware devices and mobile agents, bo[...]texto impreso
Rosa Velardo, Fernando | 2007Transient Secure Association has been widely accepted as a possible alternative to traditional authentication in the context of Ubiquitous Computing. In this paper we develop a formal model for the Resurrecting Duckling Policy that implements it[...]texto impreso
Gómez Martín, Marco Antonio ; Gómez Martín, Pedro Pablo ; Hervás Ballesteros, Raquel ; Vázquez Poletti, José Luis ; Martínez Ortiz, Iván ; Rosa Velardo, Fernando ; Ruiz Gallego-Largo, Rafael ; Mirones Estrader, José María ; Ventura Farias, Irene Josefina ; Soria Jiménez, David | 2021-01-27Memoria del proyecto Innova-Gestión 301 de la convocatoria 2019/2020 "Renovación del sistema de información docente de la Facultad de Informática" que consistía en la implementación de una primera versión de sistema de información interno para l[...]texto impreso
Several years before the popularization of the Internet, Mark Weiser proposed the concept of ubiquitous computing with the purpose of enhancing the use of computers by making many computers available throughout the physical environment, but maki[...]
