3233 search results - page 467 / 647 » Rule Modeling and Markup |
169
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. For narrowing to be an eļ¬cient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
165
click to vote
WEA
2005
Springer
16 years 1 days ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
174
click to vote
SIGMETRICS
2004
ACM
16 years 5 hour ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
161
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ļ¬...
166
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
We propose pattern matching calculi as a reļ¬nement of Ī»-calculus that integrates mechanisms appropriate for ļ¬ne-grained modelling of non-strict pattern matching. Compared with...