9626 search results - page 1433 / 1926 » Invariant Based Programming |
192
click to vote
JOT
2008
15 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
195
click to vote
JSA
2008
15 years 7 months ago
2008
In this paper, we present linear processor array architectures for flexible approximate string matching. These architectures are based on parallel realization of dynamic programmi...
187
click to vote
JUCS
2008
15 years 7 months ago
2008
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
181
click to vote
JUCS
2008
15 years 7 months ago
2008
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
167
click to vote
JIPS
2006
15 years 7 months ago
2006
: This paper proposes the framework of the scenario-based 3D image synthesizing system that allows common users who envision a scenario in their mind to realize it into the segment...