886 search results - page 85 / 178 » Reasoning with contextual graphs |
152
click to vote
GG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
121
click to vote
TSE
2010
15 years 2 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
138
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— We study the problem of shortest-path geographic routing in a static sensor network. Existing algorithms often make routing decisions based on node information in local neighbo...
124
Voted
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
120
click to vote
CEAS
2005
Springer
15 years 9 months ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...