4151 search results - page 404 / 831 » Language Driven System Design |
169
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
135
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
139
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we present a two-step language-independent spelling suggestion system. In the first step, candidate suggestions are generated using an Information Retrieval(IR) ap...
131
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
156
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...