2748 search results - page 347 / 550 » Generating Object-Z Specifications from Use Cases |
153
click to vote
JUCS
2008
15 years 4 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
137
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
110
click to vote
ENTCS
2006
15 years 4 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
125
click to vote
TMI
2008
15 years 4 months ago
2008
Abstract--We present a new tensor-based morphometric framework that quantifies cortical shape variations using a local area element. The local area element is computed from the Rie...
150
click to vote
IPMI
1999
Springer
16 years 5 months ago
1999
Springer
The problem of reconstructing a binary image (usually an image in the plane and not necessarily on a Cartesian grid) from a few projections translates into the problem of solving a...