7827 search results - page 1220 / 1566 » time 2007 |
166
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
154
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
148
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
139
click to vote
ESORICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. From a security standpoint, it is preferable to implement least privilege network security policies in which only the bare minimum of TCP/UDP ports on internal hosts are ...
130
click to vote
EUROCAST
2007
Springer
16 years 26 days ago
2007
Springer
After the detection of the first extrasolar planet (exoplanet) more than one decade ago we currently know about more than 200 planets around other stars and there are about twenty...