Results 141 to 150 of about 1,089 (174)
Dermatomiositis posterior a picadura de avispas
Revista Colombiana De Reumatología, 2014 Resumen Presentamos el caso clinico de una mujer de 50 anos con cuadro de dermatomiositis, relacionado cronologicamente con la picadura de avispas. La dermatomiositis es una miopatia inflamatoria sistemica, de etiologia idiopatica, relacionada con debilidad muscular proximal prominentemente y asociada con lesiones cutaneas caracteristicas.
Daniel G Fernandez-Avila
exaly +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Analyzing software process models with AVISPA
Proceedings of the 2011 International Conference on Software and Systems Process, 2011Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort, but once specified there are few approaches and even fewer tools that aid the process engineer to analyze the quality of the process.
Julio Ariel Hurtado Alegria +2 more
openaire +1 more source
The Las Avispas burial platform at Chan Chan, Peru
Annals of Carnegie Museum, 1979 (Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
Thomas Pozorski, Pozorski Thomas
exaly +2 more sources
AVISPA: a massively parallel reconfigurable accelerator
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2004Standards and market uncertainties, non-recurring engineering costs, and lack of access to (or knowledge of) application IP requires the next generation of embedded computing platforms to be fully programmable. In terms of silicon cost and power, practical yet fully programmable embedded computing platforms are enabled by reconfigurable accelerators ...
Jeroen A. J. Leijten +4 more
openaire +1 more source
Analyzing the Scrum Process Model with AVISPA
2010 XXIX International Conference of the Chilean Computer Science Society, 2010Scrum is a widely known agile software process model specifically designed for guiding non-technical activities in software development. This process is formally defined in EPF and adopted by several software companies around the world. But having a process definition does not necessarily mean that it is well specified. We have developed AVISPA, a tool
Julio Ariel Hurtado Alegria +2 more
openaire +1 more source
Formal Validation of OFEPSP+ with AVISPA
2009Formal validation of security protocols is of utmost importance before they gain market or academic acceptance. In particular, the results obtained from the formal validation of the improved Optimistic Fair Exchange Protocol based on Signature Policies (OFEPSP+) are presented.
Jorge L. Hernandez-Ardieta +2 more
openaire +1 more source
AVISPA: Towards Practical Verification of Communication Properties
IFAC Proceedings Volumes, 2009Abstract This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of ...
Pavel Ocenasek, Miroslav Svéda
openaire +1 more source
Model Cheking Ambient Intelligence with AVISPA
2009Current number of Ambient Intelligent systems is growning steadlily in last years. Moreover, several fields such as domotic and remote teaching are practical applications of AmI. These are some systems that interact with different ones, that is the reason of “AmI Ecosystem” term is used.
Antonio Muñoz 0001 +2 more
openaire +1 more source
Security analysis of LMAP using AVISPA
International Journal of Security and Networks, 2014Radio-frequency identification RFID is an RFID tag based technology for providing automated identification of both objects and humans. RFID tags have numerous potential applications if a secured authentication and privacy could be provided. An RFID tag is interrogated by a reader to get the identity of the tag along with other information.
openaire +1 more source