-
Abstraction-based Malware Analysis Using Rewriting and Model Checking
International audience -
Sépultures massives et morts collectives
This dataset has no description
-
De l'empreinte de la catastrophe. L'incendie du 5/7 un terrain atypique ?
This dataset has no description
-
Chemical extractions and predicted free ion activities fail to estimate metal...
International audience -
La trace du corps dans la langue
National audience -
Towards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers... -
The plan: a spontaneous and sustainable mark
International audience -
A Synchronous Process Calculus for Service Costs
Article présenté au SEFM'05 -
Status of nuclear critical opalescence.
The first section of the paper shows how the numerical document is the result of a process made up of five levels of encased processes (from 0 to 4). They involve... -
Nuclear critical opalescence and the m1 form factors of $^{12}$C and $^{13}$Cc
The French word « document » is commonly used in two ways : first as the trace produced deliberately by a human activity, written down and materialized; second, as a... -
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
This work is a weighted generalization of the abstraction based analysis technique we previously proposed for the detection of high-level malware behaviors. Our... -
Des chasseurs aux naturalistes, une relation à la nature par "traces"
Cette communication s'intéressera à deux activités gestionnaires de la faune sauvage, mêlant loisir, bénévolat et profession : la chasse et la gestion cynégétique des... -
A la recherche de la "mémoire" du web : sédiments, traces et temporalités des...
In our societies marked by a process of informationnalisation and increasing circulation and accelerated flow of information, edited or not, in the private sphere, in... -
An effective attack detection approach in wireless mesh networks
International audience -
Hot electrons effect in #23 NTD Ge sample
The first section of the paper shows how the numerical document is the result of a process made up of five levels of encased processes (from 0 to 4). They involve... -
Exact boundary conditions at finite distance for the time-dependent Schroedin...
The French word « document » is commonly used in two ways : first as the trace produced deliberately by a human activity, written down and materialized; second, as a... -
De la vie des textes aux formes et forces de vie. Texte, sens et communicatio...
Cet ouvrage est accessible à la page suivante : http://epublications.unilim.fr/revues/as/4786 Ouvrage écrit par Nicole PIGNIER sous la direction de Jean-Jacques BOUTAUD et... -
Faith in mistrust : Derrida’s ‘possibility of the impossibility’ in his readi...
This thesis scrutinises the genesis of Derrida’s notion of faith as the ‘possibility of the impossible’. A milestone of his later philosophy and embodied in many...
