5578 search results - page 170 / 1116 » Base Class Injection |
209
Voted
CCS
2005
ACM
16 years 16 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
192
Voted
EDCC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
167
Voted
ASPDAC
2004
ACM
16 years 13 days ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
167
Voted
ICT
2004
Springer
16 years 11 days ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
175
Voted
ACSAC
2003
IEEE
16 years 9 days ago
2003
IEEE
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...