We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
We present an automated ontology matching methodology, supported by various machine learning techniques, as implemented in the system MoTo. The methodology is twotiered. On the ï¬...
We study the error robustness of tilings of the plane. The fundamental question is the following: given a tileset, what happens if we allow a small probability of errors? Are the o...
We describe a physico-chemical model relating measured fluorescence intensities on oligonucleotide microarrays to the underlying specific target concentration in the hybridized so...