Sciweavers

3919 search results - page 385 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Pan-supplier stock control in a virtual warehouse
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
Emad El-Deen El-Akehal, Julian A. Padget
SIGOPS
2010
163views more  SIGOPS 2010»
15 years 1 months ago
Automated control of internet services
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
Jean Arnaud
MIR
2004
ACM
143views Multimedia» more  MIR 2004»
16 years 8 days ago
A graphical user interface for a fine-art painting image retrieval system
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
Thomas E. Lombardi, Sung-Hyuk Cha, Charles C. Tapp...
KBSE
2000
IEEE
15 years 11 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
FIDJI
2004
Springer
16 years 7 days ago
A JMM-Faithful Non-interference Calculus for Java
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
Vladimir Klebanov