4609 search results - page 749 / 922 » Automatic Generation of Sigma-Protocols |
175
click to vote
DBPL
2005
Springer
16 years 10 hour ago
2005
Springer
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legib...
165
click to vote
DIGRA
2005
Springer
16 years 10 hour ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
135
click to vote
EMO
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
169
click to vote
ER
2005
Springer
16 years 7 hour ago
2005
Springer
Web services aim at providing an interoperable framework for cross system and multiple domain communication. Current basic standards are allowing for first cases of practical use ...
183
click to vote
FASE
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...