Sciweavers

3193 search results - page 411 / 639
» A Security Risk Analysis Model for Information Systems
Sort
View
AP2PC
2003
Springer
16 years 14 days ago
A Robust and Scalable Peer-to-Peer Gossiping Protocol
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
Spyros Voulgaris, Márk Jelasity, Maarten va...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 11 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
CRYPTO
2009
Springer
145views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Leakage-Resilient Public-Key Cryptography in the Bounded-Retrieval Model
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...
Joël Alwen, Yevgeniy Dodis, Daniel Wichs
NAACL
2004
15 years 8 months ago
The (Non)Utility of Predicate-Argument Frequencies for Pronoun Interpretation
State-of-the-art pronoun interpretation systems rely predominantly on morphosyntactic contextual features. While the use of deep knowledge and inference to improve these models wo...
Andrew Kehler, Douglas E. Appelt, Lara Taylor, Ale...
APCCM
2009
15 years 8 months ago
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, M...