24529 search results - page 550 / 4906 » Computing on Authenticated Data |
167
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
179
Voted
ICANN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We have built a realistic computational model of the cerebellum. This model simulates the cerebellar cortex of the size 0.5mm×1mm consisting of several types of neurons,...
150
click to vote
ISSAC
2005
Springer
15 years 12 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...
152
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
150
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...