6224 search results - page 142 / 1245 » Recent Advances in Networking |
LPNMR
2009
Springer
14 years 4 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
AB
2007
Springer
14 years 4 months ago
2007
Springer
We introduce a novel model construction, cascaded games, that is intended to allow us to study the notion of steady states algebraically and structurally. The model construction is...
ASIACRYPT
2007
Springer
14 years 4 months ago
2007
Springer
Edon80 is a recent stream cipher design that has advanced to the third and last phase of the eSTREAM project. It has remained unbroken and untweaked since it was designed and submi...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
HVC
2007
Springer
14 years 4 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...