10568 search results - page 205 / 2114 » Computer Intelligence and Formalization |
158
click to vote
STORYTELLING
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
139
click to vote
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
107
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
107
click to vote
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
105
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...