1115 search results - page 32 / 223 » An Abstract Look at Realizability |
107
Voted
ASPDAC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract - The emergence and great popularity of system-onchip (SoC) designs has brought with it a variety of suggestions for a single language that can describe all of the functio...
ASM
2000
ASM
15 years 6 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
RTA
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
127
Voted
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
96
Voted
DLOG
2007
15 years 4 months ago
2007
Abstract. This paper argues for the benefits of distinguishing the notions of “ontology module” and “importing terms from an ontology”, by sampling some papers on these to...