4106 search results - page 161 / 822 » A Computational Model for Metric Spaces |
167
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
147
Voted
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
The paper presents an approach for the anomaly detection problem based on principles of immune systems. Flexibility and efficiency of the anomaly detection system are achieved by ...
152
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
163
click to vote
TGIS
2002
15 years 5 months ago
2002
Although space syntax has been successfully applied to many urban GIS studies, there is still a need to develop robust algorithms that support the automated derivation of graph re...
156
Voted
COORDINATION
2005
Springer
15 years 11 months ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...