2409 search results - page 50 / 482 » Logical systems for structured specifications |
156
click to vote
JLP
2006
15 years 5 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
171
click to vote
FPGA
2003
ACM
15 years 10 months ago
2003
ACM
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...
171
click to vote
ASE
2004
15 years 5 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
146
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
163
click to vote
JIIS
2000
15 years 5 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...