Results 41 to 50 of about 1,014 (107)

Étude Préliminaire À Une Utilisation De Mémoires Secondaires Pour Le Stockage Des Métadonnées Java Dans Des Systèmes Contraints. [PDF]

, 2011
National audienceL'utilisation de langages robustes et de haut niveau, basés sur des machines virtuelles comme le Java, est désormais possible dans des systèmes aussi petits que les cartes à puce ou les capteurs réseau.
Cogniaux, Geoffroy, Hauspie, Michaël, Marseille, François-Xavier   +2 more
core   +1 more source

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods

, 2006
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code.
Adachi, I., Aihara, H., Arinstein, K., Aulchenko, V., Aushev, T., Aziz, T., Bakich, A.M., Balagura, V., Barberio, E., Bay, A., Belous, K., Bhardwaj, V., Bischofberger, M., Bondar, A., Bozek, A., Bračko, M., Browder, T.E., Chang, M.-C., Chang, P., Chao, Y., Chen, A., Chen, P., Cheon, B.G., Cho, I.-S., Choi, Y., Dalseno, J., Das, A., Doležal, Z., Drutskoy, A., Drásal, Z., Eidelman, S., Gabyshev, N., Goldenzweig, P., Golob, B., Ha, H., Haba, J., Han, B.-Y., Hayasaka, K., Hayashii, H., Hazumi, M., Horii, Y., Hoshi, Y., Hou, W.-S., Hsiung, Y.B., Hyun, H.J., Iijima, T., Inami, K., Itoh, R., Iwabuchi, M., Iwasaki, M., Iwasaki, Y., Joshi, N.J., Julius, T., Kang, J.H., Kawasaki, T., Kim, H.J., Kim, H.O., Kim, J.H., Kim, S.K., Kim, Y.I., Kim, Y.J., Kinoshita, K., Ko, B.R., Kodyš, P., Kreps, M., Križn, P., Krokovny, P., Kuhr, T., Kuzmin, A., Kwon, Y.-J., Kyeong, S.-H., Lee, M.J., Lee, S.-H., Li, J., Liu, C., Liu, Y., Liventsev, D., Louvot, R., Matyja, A., McOnie, S., Miyabayashi, K., Miyazaki, Y., Mizuk, R., Mori, T., Nakano, E., Nakao, M., Natkaniec, Z., Neubauer, S., Nishida, S., Nishimura, K., Nitoh, O., Ogawa, S., Ohshima, T., Okuno, S., Olsen, S.L., Pakhlova, G., Park, C.W., Park, H., Park, H.K., Petrič, M., Piilonen, L.E., Poluektov, A., Ryu, S., Sahoo, H., Sakai, K., Sakai, Y., Schneider, O., Schwanda, C., Schwartz, A.J., Senyo, K., Sevior, M.E., Shapkin, M., Shen, C.P., Shiu, J.-G., Shwartz, B., Singh, J.B., Smerkol, P., Sokolov, A., Solovieva, E., Stanič, S., Starič, M., Stypula, J., Sumiyoshi, T., Taylor, G.N., Teramoto, Y., Trabelsi, K., Uehara, S., Unno, Y., Uno, S., Usov, Y., Varner, G., Varvell, K.E., Vervink, K., Wang, C.H., Wang, M.-Z., Wang, P., Wang, X.L., Watanabe, Y., Wedd, R., Wiechczynski, J., Won, E., Yabsley, B.D., Yamashita, Y., Yamauchi, M., Zhang, C.C., Zhang, Z.P., Zhilich, V., Zivko, T., Zupanc, A., Zyukova, O.   +149 more
core   +1 more source

Adição de funções de criptografia simétrica em um applet de código aberto com suporte via middleware OpenSC [PDF]

, 2017
TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.O sigilo dos dados é um dos principais pilares da segurança em computação.
da Palma, Lucas Machado, de Sousa, Luiz Henrique Urias   +1 more
core  

Mechanized semantics [PDF]

, 2010
The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core   +4 more sources

Alternativas en el desarrollo de aplicaciones para móviles [PDF]

, 2000
Cuando se alcanza la etapa de madurez del mercado GSM, como sería el caso de España, se impulsan nuevos servicios y aplicaciones para móviles, cuyo desarrollo puede fundamentarse en diversas tecnologías.
Bodas, J, Fernández, Victor, Sallent Roig, José Oriol, Valenzuela González, José Luis   +3 more
core  

The Transitivity of Trust Problem in the Interaction of Android Applications

, 2012
Mobile phones have developed into complex platforms with large numbers of installed applications and a wide range of sensitive data. Application security policies limit the permissions of each installed application.
Bartsch, Steffen, Berger, Bernhard, Bunke, Michaela, Hofrichter, Oliver, Sohr, Karsten   +4 more
core   +1 more source

Electronic Footprints in the Sand: Technologies for Assisting Domestic Violence Survivors [PDF]

, 2014
With the rapid growth and spread of Internet-based social support systems, the impact that these systems can make to society – be it good or bad – has become more significant and can make a real difference to people’s lives.
B. Krishnamurthy, C. Southworth, D. Besnard, E. Spence-Diehl, M.A. Sasse, P. Dunphy, T. Logan   +6 more
core   +1 more source

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

Electronic Notes in Theoretical Computer Science, 2008
AbstractThe interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweight tactics with easy to master syntax and semantics. Adding new taclets to the calculus is quite simple, but poses correctness problems.
Bubel, Richard, Roth, Andreas, Rümmer, Philipp   +2 more
openaire   +1 more source

A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines [PDF]

, 2004
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities.
Courbot, Alexandre, Grimaud, Gilles, Rippert, Christophe   +2 more
core   +2 more sources

Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

, 2015
Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement software product line efficiently, we still need a method to generate and prove ...
Dubois, Catherine, Levy, Nicole, Pham, Thi-Kim-Zung   +2 more
core   +2 more sources