4820 search results - page 243 / 964 » Implementing Signatures for C |
162
click to vote
IMC
2006
ACM
16 years 15 days ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...
162
click to vote
CODES
2005
IEEE
16 years 5 days ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
164
click to vote
INFOVIS
2005
IEEE
16 years 4 days ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
206
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
251
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...