4693 search results - page 638 / 939 » Verifying Hybrid Systems |
188
click to vote
ICPP
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper discusses the techniques of performing distributed page ranking on top of structured peer-to-peer networks. Distributed page ranking are needed because the size of the ...
154
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
Experimental results characterizing a VLSI multi-channel potentiostat sensor system designed for sensing distributed neurotransmitter activity are presented. Neurotransmitter conc...
189
click to vote
SAINT
2003
IEEE
16 years 18 hour ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
162
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
194
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...