2806 search results - page 402 / 562 » BML and Related Tools |
174
click to vote
TAGT
1994
Springer
15 years 10 months ago
1994
Springer
Graphs are a popular data structure, and graph-manipulation programs are common. Graph manipulations can be cleanly, compactly, and explicitly described using graph-rewriting notat...
183
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
232
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
194
click to vote
BIBE
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a novel gene finding and validation tool, called GeneScope, which is capable of finding and validating genes declaratively by autonomously integrating heterogeneous onl...
160
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...