Sciweavers

7683 search results - page 205 / 1537
» Distributed Computing with the CLAN Network
Sort
View
149
Voted
NCA
2008
IEEE
15 years 10 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
139
Voted
AINA
2005
IEEE
15 years 9 months ago
A Distributed Ontology Framework in the Semantic Grid Environment
This paper explores a distributed ontology framework for tailoring ontologies in the Semantic Grid environment. The framework is divided into five main categories; Ontology Proce...
Andrew Flahive, J. Wenny Rahayu, David Taniar, Ber...
205
Voted
NDSS
1997
IEEE
15 years 7 months ago
Distributed Authentication in Kerberos Using Public Key Cryptography
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...
Marvin A. Sirbu, John C.-I. Chuang
108
Voted
CONEXT
2008
ACM
15 years 5 months ago
Distributed detection of large-scale attacks in the internet
Despite the many research activities that are performed in the field of attack prevention, detection, and mitigation, largescale attacks like Distributed Denial-of-Service (DDoS) ...
Thomas Gamer
SIGMETRICS
2010
ACM
214views Hardware» more  SIGMETRICS 2010»
15 years 8 months ago
Distributed sensor network localization from local connectivity: performance analysis for the HOP-TERRAIN algorithm
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
Amin Karbasi, Sewoong Oh