Sciweavers

8719 search results - page 1343 / 1744
» Visualization of Distributed Processes Using
Sort
View
ISMIS
2005
Springer
15 years 10 months ago
Mining and Filtering Multi-level Spatial Association Rules with ARES
In spatial data mining, a common task is the discovery of spatial association rules from spatial databases. We propose a distributed system, named ARES that takes advantage of the ...
Annalisa Appice, Margherita Berardi, Michelangelo ...
MATES
2005
Springer
15 years 10 months ago
An Agent-Based Knowledge Acquisition Platform
Accessing up-to-date information in a fast and easy way implies the necessity of information management tools to explore and analyse the huge number of available electronic resourc...
David Sánchez, David Isern, Antonio Moreno
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
15 years 10 months ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
CONCUR
2004
Springer
15 years 10 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
GCC
2004
Springer
15 years 10 months ago
Agent-Based Resource Selection for Grid Computing
Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation...
Song Shen, Gregory M. P. O'Hare
« Prev « First page 1343 / 1744 Last » Next »