276 search results - page 43 / 56 » Decomposition tool for event-B |
55
Voted
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by finding the basis of the system’s characteristic compliance matrix. ...
IV
2000
IEEE
15 years 2 months ago
2000
IEEE
Most illustrative techniques used in non-photorealistic rendering to date apply a rendering style to objects or a scene and alter the appearance of this style by employing illumin...
COMPGEOM
1999
ACM
15 years 1 months ago
1999
ACM
We show a remarkable fact about folding paper: From a single rectangular sheet of paper, one can fold it into a flat origami that takes the (scaled) shape of any connected polygo...
DEXAW
1998
IEEE
15 years 1 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...