6201 search results - page 129 / 1241 » Implementation of Axiomatic Language |
142
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
145
click to vote
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
148
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
141
click to vote
DSL
1997
15 years 5 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
FCCM
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents an FPGA-based implementation of a co-processing unit able to parse context-free grammars of real-life sizes. The application elds of such a parser range from p...