8555 search results - page 1372 / 1711 » Property Based Coordination |
187
click to vote
AINA
2005
IEEE
16 years 14 days ago
2005
IEEE
– Packet classification on multiple header fields is one of the basic techniques used in network devices such as routers and firewalls, and usually the most computation intensive...
165
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
178
click to vote
ARITH
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
187
click to vote
ASYNC
2005
IEEE
16 years 14 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
236
click to vote
BIBE
2005
IEEE
16 years 14 days ago
2005
IEEE
In this article we present novel preprocessing techniques, based on topological measures of the network, to identify clusters of proteins from Protein-protein interaction (PPI) ne...