1377 search results - page 117 / 276 » Flit-Reservation Flow Control |
92
Voted
IOLTS
2003
IEEE
15 years 7 months ago
2003
IEEE
120
Voted
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
105
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
IFIP
2009
Springer
15 years 7 months ago
2009
Springer