320 search results - page 47 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
101
Voted
CADE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
86
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
99
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
93
Voted
TIME
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...