553 search results - page 30 / 111 » Verified, Executable Parsing |
ICTAI
2006
IEEE
14 years 2 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
ICCSA
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we describe a technique for representing and displaying high dynamic range image (HDRI) as a texture map in VRML structure. To do this, we designed and implemented e...
TVLSI
2008
13 years 8 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
EUROCRYPT
2008
Springer
13 years 10 months ago
2008
Springer
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...