1008 search results - page 129 / 202 » Canonicity! |
192
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
165
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
166
click to vote
ALGOSENSORS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We describe a novel approach for constructing a single spanning tree for data aggregation towards a sink node. The tree is universal in the sense that it is static and in...
139
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
163
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...