1219 search results - page 173 / 244 » Verification of Equivalent-Results Methods |
SAC
2006
ACM
13 years 10 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
ADT
2005
13 years 10 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
TEC
2008
13 years 10 months ago
2008
Evolutionary Algorithms (EAs) are well-known optimization approaches to cope with non-linear, complex problems. These population-based algorithms, however, suffer from a general we...
FAC
2000
13 years 9 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
CAGD
1998
13 years 9 months ago
1998
Five-axis machining of sculptured surfaces is gaining wider acceptance in many industries. This paper examines the potential of a new tool positioning strategy where the desired s...