2209 search results - page 318 / 442 » Language Based Secure Communication |
128
click to vote
FORTE
2004
15 years 4 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
142
click to vote
ACL
1990
15 years 4 months ago
1990
In this paper, we present a computational method for transforming a syntactic graph, which represents all syntactic interpretations of a sentence, into a semantic graph which filt...
97
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We analyse the C anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Und...
122
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
115
click to vote
ACRI
2004
Springer
15 years 8 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...