3172 search results - page 116 / 635 » On the Random-Self-Reducibility of Complete Sets |
146
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present the latest version of our dialogue games based agent communication language (DIAGAL) which allows the agents to manipulate the public layer of social comm...
166
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
155
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
159
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
167
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Skewscope is a software module designed to detect and analyze skew information of textual document images. Its skew detection algorithm, which is the major topic of this paper, di...