1805 search results - page 169 / 361 » A Theory of Closure Operators |
232
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
In the Internet today, traffic management spans congestion control (at end hosts), routing protocols (on routers), and traffic engineering (by network operators). Historically, th...
155
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
167
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
169
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
158
click to vote
WSC
2001
15 years 8 months ago
2001
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...