696 search results - page 49 / 140 » Explaining abstract counterexamples |
194
Voted
CGF
2010
15 years 3 days ago
2010
This paper attempts to explain the mechanics of writing a research paper in visualization. This serves as a useful starting point for those who have never written a research paper...
129
click to vote
CAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
140
Voted
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
156
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
128
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...