4609 search results - page 499 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
HCI
2007
15 years 8 months ago
2007
An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
174
click to vote
MKWI
2008
15 years 8 months ago
2008
: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant a...
140
click to vote
PDPTA
2007
15 years 8 months ago
2007
In this paper we present a multiple phase I/O collective operation for generic block cyclic distributions. The communication pattern is automatically generated by an inspector pha...
149
click to vote
CORIA
2006
15 years 8 months ago
2006
In the context of web search engines, the escalation between ranking techniques and spamdexing techniques has led to the appearance of faked contents in web pages. If random sequen...
172
click to vote
FORTE
2004
15 years 8 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...