Sciweavers

3155 search results - page 407 / 631
» Maintenance: Less Is Not More
Sort
View
APNOMS
2006
Springer
15 years 10 months ago
Zone-Based Clustering for Intrusion Detection Architecture in Ad-Hoc Networks
Setting up an IDS architecture on ad-hoc network is hard because it is not easy to find suitable locations to setup IDS's. One way is to divide the network into a set of clust...
Il-Yong Kim, Yoo-Sung Kim, Ki-Chang Kim
CAV
2004
Springer
126views Hardware» more  CAV 2004»
15 years 10 months ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
CHES
2004
Springer
106views Cryptology» more  CHES 2004»
15 years 10 months ago
XTR Implementation on Reconfigurable Hardware
Abstract. Recently, Lenstra and Verheul proposed an efficient cryptosystem called XTR. This system represents elements of F p6 with order dividing p2 -p+1 by their trace over Fp2 ....
Eric Peeters, Michael Neve, Mathieu Ciet
CPAIOR
2004
Springer
15 years 10 months ago
A Global Constraint for Graph Isomorphism Problems
The graph isomorphism problem consists in deciding if two given graphs have an identical structure. This problem can be modeled as a constraint satisfaction problem in a very strai...
Sébastien Sorlin, Christine Solnon
CAISE
2006
Springer
15 years 10 months ago
Supporting Customised Collaboration over Shared Document Repositories
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
Claudia-Lavinia Ignat, Moira C. Norrie