39 research outputs found
A Simulation Tool for tccp Programs
The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously.
In this paper, we present a modular architecture for the simulation of tccp programs. The tool comprises three main components. First, a set of basic abstract instructions able to model the tccp agent behaviour, the memory model needed to manage the active agents and the state of the store during the execution. Second, the agent interpreter that executes the instructions of the current agent iteratively and calculates the new agents to be executed at the next time instant. Finally, the constraint solver components which are the modules that deal with constraints.
In this paper, we describe the implementation of these components and present an example of a real system modelled in tccp.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
The Timed Concurrent Constraint language in practice
We propose the tccp language for the specification and verification of security protocols. We study the relation between tccp and utcc by presenting a transformation from utcc into tccp that formally states the relation between the two languages. Finally, we present an interpreter for tccp implemented in Maude.Lescaylle Daudinot, A. (2009). The Timed Concurrent Constraint language in practice. http://hdl.handle.net/10251/14517Archivo delegad
Concurrent and Reactive Constraint Programming
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification, and timed extensions. In this paper we review the main lines of research and contributions of the community in this fiel
Protection of persons with disabilities in Turkish Law
Los derechos de las personas discapacitadas desde la perspectiva del derecho privado; si pueden hacer valer y disfrutar de algún derecho o trato especial en el marco del derecho civil y ante los tribunales civiles nunca se han evaluado en la doctrina turca. En este estudio, hemos intentado tomar como punto central la práctica de los tribunales civiles y nos hemos centrado en la legislación de derecho privado que suele ser objeto de jurisprudencia. En consecuencia, hemos abordado ciertos derechos de las personas con discapacidad previstos en la CDPD, es decir, la igualdad de reconocimiento ante la ley, el acceso a la justicia, el respeto al hogar y a la familia, el trabajo y el empleo, que pueden tener aspectos de derecho privado, y hemos investigado si la ley y su práctica están en consonancia con la CDPD. Además, la igualdad y la no discriminación han sido objeto de varias decisiones del Tribunal Europeo de Derechos Humanos (TEDH) en las que los demandantes son ciudadanos turcos con discapacidades. Por lo tanto, hemos dedicado una sección de este estudio a estas decisiones y a su impacto en las recientes decisiones del Tribunal Constitucional turco dictadas en relación con solicitantes en circunstancias similares
Recommended from our members
Oral Interpretation in a Public Awareness Campaign Denton County Probationer Education and Employment Program
This study investigates the use of oral interpretation in social contexts. The context chosen was a community corrections program which provides education and employment assistance to adults on probation in Denton County, Texas. A solo interpretation script was incorporated into a public awareness presentation about the Denton County Probationer Education and Employment Program. The presentation was presented to a pilot audience to test the effectiveness of combining oral interpretation with public speaking to inform audiences about and elicit support for community corrections. It was determined that integrating an interpretative performance into an informational presentation is an effective method of employing oral interpretation outside the classroom and expanding its rhetorical dimensions
Trusted Computing and Secure Virtualization in Cloud Computing
Large-scale deployment and use of cloud computing in industry
is accompanied and in the same time hampered by concerns regarding protection of
data handled by cloud computing providers. One of the consequences of moving
data processing and storage off company premises is that organizations have
less control over their infrastructure. As a result, cloud service (CS) clients
must trust that the CS provider is able to protect their data and
infrastructure from both external and internal attacks. Currently however, such
trust can only rely on organizational processes declared by the CS
provider and can not be remotely verified and validated by an external party.
Enabling the CS client to verify the integrity of the host where the
virtual machine instance will run, as well as to ensure that the virtual
machine image has not been tampered with, are some steps towards building
trust in the CS provider. Having the tools to perform such
verifications prior to the launch of the VM instance allows the CS
clients to decide in runtime whether certain data should be stored- or calculations
should be made on the VM instance offered by the CS provider.
This thesis combines three components -- trusted computing, virtualization technology
and cloud computing platforms -- to address issues of trust and
security in public cloud computing environments. Of the three components,
virtualization technology has had the longest evolution and is a cornerstone
for the realization of cloud computing. Trusted computing is a recent
industry initiative that aims to implement the root of trust in a hardware
component, the trusted platform module. The initiative has been formalized
in a set of specifications and is currently at version 1.2. Cloud computing
platforms pool virtualized computing, storage and network resources in
order to serve a large number of customers customers that use a multi-tenant
multiplexing model to offer on-demand self-service over broad network.
Open source cloud computing platforms are, similar to trusted computing, a
fairly recent technology in active development.
The issue of trust in public cloud environments is addressed
by examining the state of the art within cloud computing security and
subsequently addressing the issues of establishing trust in the launch of a
generic virtual machine in a public cloud environment. As a result, the thesis
proposes a trusted launch protocol that allows CS clients
to verify and ensure the integrity of the VM instance at launch time, as
well as the integrity of the host where the VM instance is launched. The protocol
relies on the use of Trusted Platform Module (TPM) for key generation and data protection.
The TPM also plays an essential part in the integrity attestation of the
VM instance host. Along with a theoretical, platform-agnostic protocol,
the thesis also describes a detailed implementation design of the protocol
using the OpenStack cloud computing platform.
In order the verify the implementability of the proposed protocol, a prototype
implementation has built using a distributed deployment of OpenStack.
While the protocol covers only the trusted launch procedure using generic
virtual machine images, it presents a step aimed to contribute towards
the creation of a secure and trusted public cloud computing environment
Papel de cortactina y de las proteínas adaptadoras Nck y Crk en la formación del pedestal por "Escherichia coli" enteropatógena (EPEC)
Tesis inédita de la Universidad Complutense de Madrid, Facultad de Farmacia, Departamento de Microbiología II, leída el 17-01-2013. Tesis formato europeo (compendio de artículos).The adherence of enteropathogenic Escherichia coli (EPEC) to human intestinal cells triggers the formation of actin-rich pedestals. This process requires the translocation of the bacterial translocated intimin receptor (Tir) into host cells through a type III secretion system. The insertion of Tir into the plasma membrane and its tyrosine-phosphorylation leads to the recruitment of the host cell adaptor Nck, following Tir interaction with its ligand -the EPEC intimin surface protein. Nck in turn activates the neural Wiskott-Aldrich syndrome protein (N-WASP) initiating actin polymerisation mediated by the actin-related (Arp)2/3 complex. Interestingly, the host cortactin protein activates the Arp2/3 complex and N-WASP promoting actin polymerisation by two different mechanisms. Here, we interrogate a suggested role for cortactin in Tir-mediated actin nucleation events and reveal a critical role. We propose that cortactin binds Tir through its N-terminal part in a phosphorylation independent manner. On the other hand, the SH3 domain binding and activation of N-WASP is regulated by tyrosine and serine mediated phosphorylation of cortactin. Moreover, Tir-cortactin interaction promotes Arp2/3 complex-mediated actin polymerisation in vitro. Therefore, cortactin could act on Tir:Nck:N-WASP signalling pathway and control a possible cycling activity of N-WASP underlying pedestal formation. We also demonstrate that Crk family adaptor proteins have a redundant inhibitory role in regulating actin polymerisation in actin pedestals. Furthermore, we have investigated the mechanism of the observed reduced amounts of Tir in infected Nck deficient mouse embryonic fibroblast (MEFs).La adherencia de la bacteria Escherichia coli enteropatógena (EPEC) a las células del epitelio intestinal conlleva la formación de estructuras ricas en filamentos de actina denominadas pedestales. El proceso requiere la translocación del efector bacteriano Tir (del inglés translocated intimin receptor) en el citoplasma de la célula hospedadora a través del sistema de secreción tipo III (TTSS). La inserción de Tir en la membrana plasmática de la célula conlleva la fosforilación en residuos de tirosina, reclutando así la proteína adaptadora Nck. Nck activa N-WASP (del inglés neural Wiskott-Aldrich syndrome protein) estimulando la polimerización de actina mediada por el complejo Arp2/3. La infección por EPEC provoca el reclutamiento de diversas proteínas de la célula eucariota, muchas de ellas implicadas en la regulación del citoesqueleto de actina, como cortactina. Cortactina activa el complejo Arp2/3 y N-WASP promoviendo la polimerización de actina mediante dos mecanismos diferentes. En esta tesis se estudia la participación de cortactina en la ruta de formación de pedestales por EPEC. Además se estudia el papel en este proceso de otras proteínas reclutadas por la bacteria, las proteínas adaptadoras de la familia Crk. Por último, se investiga el mecanismo por el cual los fibroblastos embrionarios de ratón que carecen de la proteína Nck, presentan niveles reducidos de Tir tras ser infectados por EPEC.Depto. de Microbiología y ParasitologíaFac. de FarmaciaTRUEunpu
The Chronicle [February 8, 1994]
The Chronicle, February 8, 1994https://repository.stcloudstate.edu/chron/4050/thumbnail.jp
Sierra County Advocate, 06-21-1895
https://digitalrepository.unm.edu/sc_advocate_news/1460/thumbnail.jp
Sierra County Advocate, 1895-06-21
https://digitalrepository.unm.edu/sc_advocate_news/2538/thumbnail.jp