756 search results - page 106 / 152 » Modeling Computational Security in Long-Lived Systems |
172
Voted
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
144
Voted
MIDDLEWARE
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
154
Voted
AOIS
2003
15 years 7 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
173
Voted
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
146
Voted
IAJIT
2010
15 years 4 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...