Výsledky vyhledávání

A multilaboratory comparison of calibration accuracy and the performance of external references in analytical ultracentrifugation

Autor: Narlikar, Geeta, Zhao, H, Ghirlando, R, Alfonso, C, Arisaka, F, Attali, I, Bain, DL, Bakhtina, MM, Becker, DF, Bedwell, GJ, Bekdemir, A

Publikováno v: Narlikar, Geeta; Zhao, H; Ghirlando, R; Alfonso, C; Arisaka, F; Attali, I; et al.(2015). A multilaboratory comparison of calibration accuracy and the performance of external references in analytical ultracentrifugation. UC San Francisco: Retrieved from: http://www.escholarship.org/uc/item/9kr8p695

© 2015, Public Library of Science. All rights reserved. This is an open access article, free of all copyright, and may be freely reproduced, distributed, transmitted, modified, built upon, or otherwise used by anyone for any lawful purpose. The work

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::2cf636d2a917fc291e029d9fa5ca19a2
http://www.escholarship.org/uc/item/9kr8p695

Zobrazit plný text záznamu

Formal specification and verification of JavaCard's application identifier class

Autor: Berg, J. van den, Jacobs, B.P.F., Poll, E., Attali, I., Jensen, T.

Publikováno v: Lecture Notes in Computer Science ; 2041, 137-150. Berlin : Springer
STARTPAGE=137;ENDPAGE=150;TITLE=Lecture Notes in Computer Science ; 2041
Lecture Notes in Computer Science ISBN: 9783540421672
Attali, I.; Jensen, T. (ed.), Java on Smart Cards: Programming and Security, pp. 137-150

This paper discusses a verification in PVS of the AID (Application Identifier) class from the JavaCard API. The properties that are verified are formulated in the interface specification language JML. This language is also used to express the propert

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90b7e17b9bca7dfcc75cff6686e294c9
http://hdl.handle.net/2066/130362

Zobrazit plný text záznamu

Aspect and XML-oriented Semantic Framework Generator:SmartTools

Autor: Parigot, D., Courbis, C., Degenne, P., Fau, A., Pasquier, C., Fillon, J., Help, C., Attali, I.

Publikováno v: Electronic Notes in Theoretical Computer Science, 65 (3) pp. 1-20. (2002)

SmartTools is a semantic framework generator, based on XML and object technologies. Thanks to a process of automatic generation from specifications, SmartTools makes it possible to quickly develop environments dedicated to domain-specific and program

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______322::084bc8de9db0ca03f48157f738b70afd
https://discovery.ucl.ac.uk/id/eprint/878/

Zobrazit plný text záznamu

SmartTools: a generator of interactive environments tools

Autor: Attali, I., Courbis, C., Degenne, P., Fau, A., Fillon, J., Parigot, D., Pasquier, C., Sacerdoti Coen, C.

Publikováno v: Wilhelm, R., (ed.) Compiler Construction : 10th International Conference, CC 2001: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001. (pp. pp. 355-360). Springer Verlag (2001)

SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used for designing semantic analysis, it has been automated and extended. Sma

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______322::53140b887c134a2ba337ab20623bf0f7
https://discovery.ucl.ac.uk/id/eprint/881/

Zobrazit plný text záznamu

Smart tools for Java Card

Autor: Attali, I., Caromel, D., Courbis, C., Henrio, L., Nilsson, H.

Publikováno v: Presented at: Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, Bristol, UK. (2000)

This article describes a java Card progamming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java card, the JCRE (Java Card Runtime Environment), and the Java Card APIs. The resulting enviro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______322::a2bb835c51f3ce9d229595219f58ea2a
https://discovery.ucl.ac.uk/id/eprint/910/

Zobrazit plný text záznamu

Conference

Parameterized specification and verification of the Chilean electronic invoices system.

Autor: Attali, I., Barros, T., Madelaine, E.

Publikováno v: XXIV International Conference of the Chilean Computer Science Society; 2004, p14-25, 12p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání