633 search results - page 23 / 127 » A Semantic Basis for Quest |
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
IICS
2003
Springer
14 years 27 days ago
2003
Springer
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
AGP
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
INFORMATICALT
2008
13 years 7 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
LRE
2008
13 years 7 months ago
2008
In this article, we address the task of comparing and combining different semantic verb classifications within one language. We present a methodology for the manual analysis of ind...