Sciweavers

2607 search results - page 343 / 522
» On the Architecture of System Verification Environments
Sort
View
AICT
2006
IEEE
128views Communications» more  AICT 2006»
16 years 20 days ago
Providing Secure Services in Peer-to-Peer Communications Networks with Central Security Servers
IP Telephony based on Peer-to-Peer (P2P) technology has being gaining attentions for its innovative approach to providing VoIP service. At the same time, it has raised many new re...
Feng Cao, David A. Bryan, Bruce Lowekamp
IEEEARES
2006
IEEE
16 years 19 days ago
Replication Strategies for Reliable Decentralised Storage
Distributed hash tables (DHTs) can be used as the basis of a resilient lookup service in unstable environments: local routing tables are updated to reflected changes in the netwo...
Matthew Leslie, Jim Davies, Todd Huffman
AMKM
2003
Springer
15 years 11 months ago
Improving Organizational Memory through Agents for Knowledge Discovery in Database
In this article we describe a computational architecture called MC2 that brings together a set of tools that contribute to the knowledge management process by allowing for the cre...
João José Vasco Furtado, Viní...
EUSAI
2003
Springer
15 years 11 months ago
Ubiquitous Attentiveness - Enabling Context-Aware Mobile Applications and Services
Abstract. We present a concept called ‘ubiquitous attentiveness’: Context information concerning the user and his environment is aggregated, exchanged and constitutes triggers ...
Herma Van Kranenburg, Alfons H. Salden, Henk Eerti...
IATA
1998
Springer
15 years 10 months ago
Dynamic Resource Allocation by Market-Based Routing in Telecommunications Networks
We present an approach to resource allocation in telecommunications networks based on the interaction of self-interested agents which have limited information about their environme...
M. A. Gibney, Nicholas R. Jennings