Themostefficient planning algorithms recently developed are mainly based on Graphplansystem or on satisfiability approach. In this paper wepresent a new approach to plan generatio...
Marco Baioletti, Stefano Marcugini, Alfredo Milani
: Since 1994 the DIALECT project produces multimedia based lectures. An interdisciplinary production team together with university professors develops digital applications used in ...
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
Abstract. The recent approval of the EU Services Directive is fostering the Internet of Services (IoS) and will promote the emergence of marketplaces for business and real-world se...
Josef Spillner, Matthias Winkler, Sandro Reichert,...
Background: Caspases belong to a class of cysteine proteases which function as critical effectors in apoptosis and inflammation by cleaving substrates immediately after unique sit...
Lawrence J. K. Wee, Tin Wee Tan, Shoba Ranganathan