Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Grall, Hervé"'
Autor:
Grall, Hervé
Les programmes mobiles, comme les applettes, sont utiles mais potentiellement hostiles, et il faut donc pouvoir s'assurer que leur exécution n'est pas dangereuse pour le système hôte. Une solution est d'exécuter le programme mobile dans un enviro
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00007549
http://tel.archives-ouvertes.fr/docs/00/04/73/64/PDF/tel-00007549.pdf
http://tel.archives-ouvertes.fr/docs/00/04/73/64/PDF/tel-00007549.pdf
Publikováno v:
EPTCS 30, 2010, pp. 16-30
In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a resource-oriented model, where resources are manipulated via CRUD (Create,
Externí odkaz:
http://arxiv.org/abs/1007.5089
Autor:
Leroy, Xavier, Grall, Hervé
Publikováno v:
Information and Computation (2007)
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to describe diverging evaluations in addition to terminating evaluations. W
Externí odkaz:
http://arxiv.org/abs/0808.0586
Autor:
Leroy, Xavier, Grall, Hervé
Publikováno v:
In Information and Computation 2009 207(2):284-304
Publikováno v:
[Research Report] IMT Atlantique. 2018
Accountability is the driving principle for several of regulatory frameworks such as the European Union's General Data Protection Regulation (EU GDPR), the Health Insurance Portability and Accountability Act (HIPAA) and the Corporate and Auditing Acc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fe6b73c174553ea0fe0a25a9d321da9
https://hal.archives-ouvertes.fr/hal-01856329/document
https://hal.archives-ouvertes.fr/hal-01856329/document
Autor:
Benghabrit, Walid, Grall, Hervé, Royer, Jean-Claude, Sellami, Mohamed, Azraoui, Monir, Elkhiyaoui, Kaoutar, Önen, Melek, Santana De Oliveira, Anderson, Bernsmed, Karin
Publikováno v:
CLOSER 2014, 4th International Conference on Cloud Computing and Services Science, 3-5 April 2014, Barcelona, Spain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1093::570fa57d41fabbe783fffb8bfa2927e3
http://www.eurecom.fr/publication/4222
http://www.eurecom.fr/publication/4222
Publikováno v:
GDR-GPL
GDR-GPL, Jun 2016, Besançon, France
GDR-GPL, Jun 2016, Besançon, France
International audience; The goal of AccMon is to provide means to monitor accountability policies in the context of a real system. The tool allows to specify policies thatare applicable to network traffic, web application code and external components
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61f1c10e7cfb6b269fdb8748de5ff840
https://inria.hal.science/hal-01332040/file/poster.pdf
https://inria.hal.science/hal-01332040/file/poster.pdf
Publikováno v:
WEBIST 2013-9th International Conference on Web Information Systems and Technologies
WEBIST 2013-9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
WEBIST 2013-9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Short paper presented as a poster; International audience; The object-oriented paradigm is increasingly used in the implementation and the use of web services. However, the mismatch between objects and document structures in the wire has a negative i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd5b7373bb3356a1ebf317e700f21b12
https://hal.inria.fr/hal-00800153/document
https://hal.inria.fr/hal-00800153/document
Publikováno v:
[Research Report] RR-7899, INRIA. 2012
Service-oriented applications are frequently used in highly dynamic contexts: ser- vice compositions may change dynamically, in particular, because new services are discovered at runtime. Moreover, subtyping has recently been identified as a strong r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::fc23f3e1a6906638e968537fa5a1d7d6
https://inria.hal.science/hal-00700570
https://inria.hal.science/hal-00700570
Publikováno v:
WEBIST, 8th International Conference on Web Information Systems and Technologies
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Short paper; International audience; Service-based applications can be built according to multiple technologies. Although there is a clear need for a model integrating them in multiple real-world contexts, no integrated model does (yet) exist. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4987f3a0f4d5a57420df89cca3823fda
https://inria.hal.science/hal-00668975
https://inria.hal.science/hal-00668975