Sciweavers

5075 search results - page 282 / 1015
» Convergence
Sort
View
ICRE
1996
IEEE
15 years 11 months ago
Collaboration during conceptual design
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
Lara D. Catledge, Colin Potts
INFOCOM
1996
IEEE
15 years 11 months ago
Time Scale Analysis of Explicit Rate Allocation in ATM Networks
Rate based congestion management for computer communication networks has been the focus of considerable research recently. Dierent variants to the end-to-end rate based algorithm ...
Anna Charny, K. K. Ramakrishnan
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 10 months ago
Further results on plant parameter identification using continuous-time multiple-model adaptive estimators
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
Vahid Hassani, A. Pedro Aguiar, António Man...
CSFW
2010
IEEE
15 years 10 months ago
Impossibility Results for Secret Establishment
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
Benedikt Schmidt, Patrick Schaller, David A. Basin