Sciweavers

2472 search results - page 167 / 495
» Parallel Key Exchange
Sort
View
196
Voted
LICS
2008
IEEE
16 years 1 months ago
On the Expressiveness and Decidability of Higher-Order Process Calculi
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
Ivan Lanese, Jorge A. Pérez, Davide Sangior...
194
Voted
CCGRID
2007
IEEE
16 years 1 months ago
Profiling Computation Jobs in Grid Systems
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...
Michael Oikonomakos, Kostas Christodoulopoulos, Em...
200
Voted
CCGRID
2006
IEEE
16 years 1 months ago
INTCTD: A Peer-to-Peer Approach for Intrusion Detection
In this paper we propose a peer-to-peer (P2P) prototype (INTCTD) for intrusion detection over an overlay network. INTCTD is a distributed system based on neural networks for detec...
Catalin Dumitrescu
EDOC
2006
IEEE
16 years 1 months ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...
157
Voted
COLCOM
2005
IEEE
16 years 17 days ago
"Token" equilibria in sensor networks with multiple sponsors
When two sponsoring organizations, working towards separate goals, can employ wireless sensor networks for a finite period of time, it can be efficiency-enhancing for the sponso...
David A. Miller, Sameer Tilak, Tony Fountain