2025 search results - page 191 / 405 » Minimal-Cut Model Composition |
130
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
117
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
152
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
125
click to vote
STOC
1994
ACM
15 years 8 months ago
1994
ACM
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...
130
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...