Sciweavers

4609 search results - page 749 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
DBPL
2005
Springer
112views Database» more  DBPL 2005»
16 years 10 hour ago
Dual Syntax for XML Languages
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...
Claus Brabrand, Anders Møller, Michael I. S...
DIGRA
2005
Springer
16 years 10 hour ago
Interactive Story Writing in the Classroom: Using Computer Games
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...
Jonathan Schaeffer, Mike Carbonaro, Duane Szafron,...
EMO
2005
Springer
76views Optimization» more  EMO 2005»
16 years 7 hour ago
Photonic Device Design Using Multiobjective Evolutionary Algorithms
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...
Steven Manos, Leon Poladian, Peter J. Bentley, Mar...
ER
2005
Springer
177views Database» more  ER 2005»
16 years 7 hour ago
Conceptual Content Management for Enterprise Web Services
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 ...
Sebastian Bossung, Hans-Werner Sehring, Joachim W....
FASE
2005
Springer
16 years 5 hour ago
Checking Memory Safety with Blast
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 ...
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rup...