Sciweavers

1547 search results - page 50 / 310
» The Isabelle Collections Framework
Sort
View
IJCAT
2007
100views more  IJCAT 2007»
13 years 7 months ago
INCA: qualitative reference framework for incentive mechanisms in P2P networks
: 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...
Andrew Roczniak, Abdulmotaleb El-Saddik, Pierre L&...
ICARIS
2005
Springer
14 years 1 months ago
A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
John Newborough, Susan Stepney
CP
2000
Springer
13 years 12 months ago
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha...
ISI
2008
Springer
13 years 7 months ago
A Collaborative Forensics Framework for VoIP Services in Multi-network Environments
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 ...
Hsien-Ming Hsu, Yeali S. Sun, Meng Chang Chen
SIGDIAL
2010
13 years 5 months ago
YouBot: A Simple Framework for Building Virtual Networking Agents
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
Seiji Takegata, Kumiko Tanaka-Ishii