3233 search results - page 467 / 647 » Rule Modeling and Markup |
180
Voted
RTA
2005
Springer
16 years 17 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...
178
click to vote
WEA
2005
Springer
16 years 16 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...
194
click to vote
SIGMETRICS
2004
ACM
16 years 15 days 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...
180
click to vote
ESORICS
2004
Springer
16 years 14 days 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 ļ¬...
186
click to vote
FLOPS
2004
Springer
16 years 14 days 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...