67 search results - page 12 / 14 » Reasoning on temporal class diagrams: Undecidability results |
127
click to vote
SIGGRAPH
1990
ACM
15 years 5 months ago
1990
ACM
not abstract asymmetry: different sides looks different clumps different from "data objects" need grid structure, alignment [Design Guidelines for Landmarks to Support Na...
131
Voted
GG
2010
Springer
15 years 12 days 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...
148
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
114
click to vote
ETRA
2004
ACM
15 years 7 months ago
2004
ACM
Cognitive models and empirical studies of problem solving in visuo-spatial and causal domains suggest that problem solving tasks in such domains invoke cognitive processes involvi...
114
Voted
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...