]> matita.cs.unibo.it Git - helm.git/commitdiff
Figure moved to the next page.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 May 2003 17:50:52 +0000 (17:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 29 May 2003 17:50:52 +0000 (17:50 +0000)
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex

index 49322ba2e7f0eebc3e15cd01a5f8e897f5c19b20..d8bfbc22a015a736f7b946f8840e50dccb274e4d 100644 (file)
     parameters. More structured hints can also be used: an hint can be
     as complex as a whole proof-plan.
 
-    \myincludegraphics{interfaces}{t}{10cm}{\hbugs{} \wss{} interfaces}{\hbugs{}
-    \wss{} interfaces}
-
     Using W3C's terminology \cite{ws-glossary}, clients act both as \ws{}
     providers and requesters, see Fig. \ref{interfaces}.
     They act as providers for the broker (to receive hints)
     possibile posto dove mettere una mini-sessione interattiva. L'appendice
     un altro.}
 
+    \myincludegraphics{interfaces}{t!}{10cm}{\hbugs{} \wss{} interfaces}
+     {\hbugs{} \wss{} interfaces}
+
     \hbugs{} clients act as MONET clients and ask brokers to provide access to a
     set of services (the tutors). \hbugs{} has no actors corresponding to
     MONET's Broker Locating Service (since the client is supposed to know the