Sciweavers

5816 search results - page 781 / 1164
» Distributed Management by Delegation
Sort
View
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 7 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
JSAC
2007
155views more  JSAC 2007»
15 years 7 months ago
Semantic social overlay networks
— Peer selection for query routing is a core task in peer-to-peer networks. Unstructured peer-to-peer systems (like Gnutella) ignore this problem, leading to an abundance of netw...
Alexander Löser, Steffen Staab, Christoph Tem...
DEBU
2002
105views more  DEBU 2002»
15 years 7 months ago
Data Integration: Where Does the Time Go?
We present a modular breakdown of data integration tasks and the results of a survey on the distribution of effort among those tasks. The modularization aids in project planning a...
Leonard J. Seligman, Arnon Rosenthal, Paul E. Lehn...
COMCOM
1998
101views more  COMCOM 1998»
15 years 7 months ago
Building open programmable multimedia networks
Recent advances in distributed systems and transportable software and increasing demand for better quality-of-service (QOS) control in multiservice networks are driving a re-exami...
Andrew T. Campbell, Aurel A. Lazar, Henning Schulz...
JAIS
2002
120views more  JAIS 2002»
15 years 7 months ago
Information Exchange Between Humanitarian Organizations: Using the XML Schema IDML
This article explains challenges that arise when humanitarian organizations want to coordinate their development activities by means of distributed information systems. It focuses...
Stefan Hüsemann