696 search results - page 49 / 140 » Explaining abstract counterexamples |
236
click to vote
CGF
2010
15 years 3 months 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...
171
click to vote
CAI
2009
Springer
16 years 1 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...
185
click to vote
AOSE
2007
Springer
16 years 22 days 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...
202
click to vote
ECMDAFA
2007
Springer
15 years 10 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, ...
168
click to vote
ICALP
2000
Springer
15 years 10 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 ...