Sciweavers

15614 search results - page 185 / 3123
» The State of State
Sort
View
IPCCC
2005
IEEE
15 years 9 months ago
A key distribution scheme for double authentication in link state routing protocol
The Double Authentication (DA) scheme presented in [1] is designed to provide security against impersonation attack to link state routing protocol at a lower computational cost as...
D. Huang, A. Sinha, D. Medhi
119
Voted
SRDS
2005
IEEE
15 years 9 months ago
Fault-tolerance for Stateful Application Servers in the Presence of Advanced Transactions Patterns
Replication is widely used in application server products to tolerate faults. An important challenge is to correctly coordinate replication and transaction execution for stateful ...
Huaigu Wu, Bettina Kemme
FASE
2005
Springer
15 years 9 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
FOSSACS
2005
Springer
15 years 9 months ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
FSMNLP
2005
Springer
15 years 9 months ago
Klex: A Finite-State Transducer Lexicon of Korean
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
Na-Rae Han