1547 search results - page 50 / 310 » The Isabelle Collections Framework |
160
click to vote
IJCAT
2007
15 years 4 months ago
2007
: The existence of peer-to-peer networks is due to benefits brought by decentralisation of control and distribution of resources. It is expected that the usage of such networks wi...
129
click to vote
ICARIS
2005
Springer
15 years 9 months ago
2005
Springer
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
141
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
130
click to vote
ISI
2008
Springer
15 years 4 months ago
2008
Springer
We propose a collaborative forensics framework to trace back callers of VoIP services in a multi-network environment. The paper is divided into two parts. The first part discusses ...
139
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...