4814 search results - page 147 / 963 » Combining abstract interpreters |
189
Voted
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...
176
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...
199
Voted
SACMAT
2005
ACM
16 years 15 days ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
191
Voted
WLP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
203
click to vote
LCN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a solution to delivering multicast data reliably not only to/from fixed hosts but also to/from mobile hosts in combined fixed/mobile IP networks, particularl...