Sciweavers

7758 search results - page 194 / 1552
» On the Number of Distributive Lattices
Sort
View
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
DSN
2004
IEEE
15 years 10 months ago
Proactive Recovery in Distributed CORBA Applications
Unanticipated runtime events, such as faults, can lead to missed deadlines in real-time systems. While it is not always possible to know when a fault will occur, we can sometimes ...
Soila M. Pertet, Priya Narasimhan
WSC
2007
15 years 8 months ago
Simulation of scheduled ordering policies in distribution supply chains
In this paper we study a decentralized distribution supply chain with one supplier and many newsvendor-type retailers that face exogenous end-customer demands. Using total supply ...
Lucy G. Chen, Srinagesh Gavirneni
ASMTA
2008
Springer
113views Mathematics» more  ASMTA 2008»
15 years 8 months ago
Exact Sojourn Time Distribution in an Online IPTV Recording System
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
Tobias Hoßfeld, Kenji Leibnitz, Marie-Ange R...
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 8 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...