8493 search results - page 252 / 1699 » Implementing a distributed firewall |
126
click to vote
WEBNET
2000
15 years 5 months ago
2000
: On-line learning is one of the emerging needs of the information age. Access to education is going to become crucial for the success of our information society. Therefore a lot o...
142
click to vote
SOSP
1993
ACM
15 years 5 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
139
click to vote
ETS
2010
IEEE
15 years 5 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
143
click to vote
ENTCS
2008
15 years 4 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
114
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...