1087 search results - page 194 / 218 » Modelling and Implementing Complex Systems with Timebands |
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
BMCBI
2007
13 years 7 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
LISA
2007
13 years 10 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...