Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Adaptive fuzzy control has been an active research area over the last decade and several stable adaptive fuzzy controllers have been proposed in the literature. Such controllers a...
How do real graphs evolve over time? What are "normal" growth patterns in social, technological, and information networks? Many studies have discovered patterns in stati...
Jure Leskovec, Jon M. Kleinberg, Christos Faloutso...
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...