Sciweavers

2472 search results - page 167 / 495
» Parallel Key Exchange
Sort
View
LICS
2008
IEEE
16 years 24 days 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...
CCGRID
2007
IEEE
16 years 22 days 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...
CCGRID
2006
IEEE
16 years 14 days 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 13 days 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, ...
COLCOM
2005
IEEE
16 years 14 hour 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