| J. Diaz, I. Ramos - 1981 - 492 lapas
...notation. The system construction also contains means for associating specifications with implementations. The rest of the paper is structured as follows; in the next section we state the syntax of "Basic COSY and give a formal semantics for this notation in terms of a mathematical... | |
| Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill - 1994 - 276 lapas
...carried out in the HORUS [25], ISIS [4, 5], and in the PANDA project [3], and by ideas described in [12]. The rest of the paper is structured as follows. In the next section we will give a short introduction to the ELECTRA toolkit. Throughout the paper, the toolkit serves to... | |
| Giorgio Levi, Mario Rodriguez-Artalejo - 1994 - 324 lapas
...CTRSs as well as for conditional overlay systems with joinable critical pairs (cf. Theorems 28, 29). The rest of the paper is structured as follows. In the next section we shall introduce some necessary terminology. Then, in section 3, we shall summarize results of [Gra92b],... | |
| Charles Nicholas, Derick Wood - 1997 - 218 lapas
...editor dedicated to syntactic editing in VRDL. This way, the user gets maximal help when using VRDL. The rest of the paper is structured as follows: In the next Section, we provide a short overview of our object framework. Then, we discuss the main highlights of VRDL. In... | |
| Marian Bubak, Jack Dongarra, Jerzy Wasniewski - 1997 - 540 lapas
...a competitive approach to parallel distributed computation for an important class of applications. The rest of the paper is structured as follows. In the next section a brief introduction to the MPI communication library is made. Then, we describe deeper the main parameters... | |
| Bernhard Steffen - 1998 - 484 lapas
...constraint-based proof methodology is used to perform a manual verification of the protocol. Outline The rest of the paper is structured as follows. In the next section, we present our model of timed networks. An overview of the reachability algorithm is presented in Section... | |
| Philip Rothman - 1999 - 394 lapas
...Tieslau, 1995) and find that the hypothesis of linear adjustment is strongly rejected in each case. The rest of the paper is structured as follows. In the next section we discuss nonlinear adjustment to equilibrium money demand in the context of nonstationary integrated... | |
| Ian Gent, Hans van Maaren, Toby Walsh - 2000 - 568 lapas
...paper extend the range of complete methods to problems that were often previously beyond their reach. The paper is structured as follows. In the next section, we describe how we randomize Davis-Putnam style search methods and define our problem domains. In the following... | |
| Patrick Donohoe - 2000 - 560 lapas
...needed for the development and deployment of sound componentbased frameworks. The remainder of this paper is structured as follows. In the next section we describe the product-line approach that provides the foundation for the product line aspects of the KobrA method.... | |
| Bernd Radig, Stefan Florczyk - 2007 - 469 lapas
...justifiable extension to this work. Interesting related work from the area of control theory are [9, 7]. The paper is structured as follows. In the next section we describe the problem in a formal manner and introduce the metric that is optimized during one step of the sequential... | |
| |