Sciweavers

3389 search results - page 267 / 678
» Perspectives on system identification
Sort
View
ICCS
2005
Springer
16 years 4 days ago
Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...
CMMR
2004
Springer
111views Music» more  CMMR 2004»
16 years 1 days ago
Aspects of the Topology of Interactions on Loop Dynamics in One and Two Dimensions
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...
Georg Essl
COMPSAC
2002
IEEE
15 years 11 months ago
Improving Service Availability via Low-Outage Upgrades
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
Chryssa Dislis
POPL
2000
ACM
15 years 11 months ago
Authentication Primitives and Their Compilation
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
Martín Abadi, Cédric Fournet, George...
ICEIS
1999
IEEE
15 years 11 months ago
Software Agents in Network Management
: The globalisation of Internet technology had a strong impact on technology price and availability, which resulted in the emerging of more opportunities and more services in dista...
Rui Pedro Lopes, José Luís Oliveira