6960 search results - page 889 / 1392 » Continuity Analysis of Programs |
166
click to vote
ESORICS
2005
Springer
16 years 1 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
160
click to vote
ICLP
2005
Springer
16 years 20 hour ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
150
click to vote
IWDW
2005
Springer
16 years 10 hour ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
151
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
161
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...