Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
Jesse Hughes, Albert C. Esterline, Bahram Kimiagha...
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
Marin Dimitrov, Alex Simov, Sebastian Stein, Mihai...