WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
Casper J. Albers, Ritsert C. Jansen, Jan Kok, Osca...
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...