14298 search results - page 434 / 2860 » Dynamic Languages and Applications |
181
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
172
click to vote
ADT
2006
15 years 7 months ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
201
click to vote
ASE
2002
15 years 6 months ago
2002
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
128
click to vote
CN
1999
15 years 6 months ago
1999
This paper presents XForm -- a proposal for a general and powerful mechanism for handling forms in XML. XForm defines form -- related constructs independent of any particular XML ...
161
click to vote
SIAMCOMP
2008
15 years 5 months ago
2008
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...