29152 search results - page 417 / 5831 » A Model of Computation for MapReduce |
165
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
191
click to vote
ISSAC
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
205
click to vote
ICCS
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
218
click to vote
IWDC
2004
Springer
16 years 29 days ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
207
click to vote
SC
2003
ACM
16 years 25 days ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...