Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
Guillaume Bonfante, Jean-Yves Marion, Daniel Reyna...
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
Abstract. Multidimensional databases play a relevant role in statistical and scientific applications, as well as in business intelligence systems. Their users express complex OLAP...
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
— Traditional recommendation approaches do not consider the changes of user preferences according to context. As a result, these approaches consider the user’s overall preferen...