1750 search results - page 66 / 350 » Formal multiple-bernoulli models for language modeling |
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
106
click to vote
FORTE
2003
14 years 11 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...