Learn More
" MSCs to express service requirements as properties on an SDL model: application to service interaction detection " " Introducing formal notations in the development of object-based distributed applications " Círculo Español para la Calidad en Telecomunicación (CEICAT) 1996 " Un enfoque para la formalización del desarrollo de aplicaciones distribuidas(More)
NF-kappaB is a transcription factor that plays a vital role in regulating inducible gene expression in immune and inflammatory responses. In view of the well documented effects of adenosine on immune and inflammatory responses, we have explored whether adenosine A1, A2B and A3 receptors regulate NF-kappaB activity in transfected Chinese hamster ovary (CHO)(More)
We apply the scenario-based approach to mode-ling, via the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunica-tion service, Depannage. It allows a user to call for help from a doctor, the fire brigade, a car maintenance service, etc. These kinds of services are built on top of an embedded platform, using(More)
In this study we have investigated whether the human adenosine A3 receptor activates p42/p44 mitogen-activated protein kinase (MAPK) in transfected Chinese hamster ovary (CHO) cells (designated CHO-A3). The high affinity adenosine A3 receptor agonist IB-MECA (1-deoxy-1-[6-[[(3-iodophenyl)methyl]amino]-9H-purin-9-yl]-N-methyl-beta-D-ribofuranuronamide)(More)
We apply the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service. The service, called Depannage, allows a user to make a phone call and ask for help from a doctor, the fire brigade, a car maintenance service, etc. This kind of service is built on top of an embedded platform, using both new and(More)