io-port.net

io-port 05216725 Filho, F.C.; Rubira, C.M.F.

Implementing coordinated error recovery for distributed object-oriented systems with aspectj. (English)

J. UCS 10, No. 7, 843-858, electronic only (2004).

Classification: D.2 D.3 D.3.3

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013742 Lau, Hang T.

A numerical library in Java for scientists and engineers. With CD-ROM. (English)

Boca Raton, FL: Chapman and Hall/CRC. xxiii, 1063 p. \$ 99.95; \sterling 66.99 (2004).

Classification: D.3 I.1 A.2

2

PDF XML AMS-TeX TEXT BIBTeX

io-port 05216631 Dantas, A.; Borba, P.

Developing adaptive j2me applications using aspectj. (English)

J. UCS 9, No. 8, 935-955, electronic only (2003).

Classification: D.2 D.2.11 D.3

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216628 Vasconcellos, C.; Figueiredo, L.; Camarão, C.

Practical type inference for polymorphic recursion: an implementation in haskell. (English)

J. UCS 9, No. 8, 873-890, electronic only (2003).

Classification: D.3 D.3.3

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02027292 Saraswat, Vijay A. (ed.)

Advances in computing science ‒ ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10‒12, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2896. Berlin: Springer. viii, 305 p. EUR 46.00/net; \$ 58.00; \sterling 35.50; sFr 79.00 (2003).

Classification: A.m D.3 C.2.4 B.8.1

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02026126 Ohori, Atsushi (ed.)

Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27‒29, 2003. Proceedings. (English)

Lecture Notes in Computer Science. 2895. Berlin: Springer. xiii, 427 p. EUR 54.00/net; \$ 71.00; \sterling 41.50; sFr 92.50 (2003).

Classification: A.m D.3

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013600 Burdy, Lilian; Requet, Antoine

Extending B with control flow breaks. (English)

Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 513-527 (2003).

Classification: F.3.1 D.3

7

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013598 Ferreira, Carla; Butler, Michael

Using B refinement to analyse compensating business processes. (English)

Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 477-496 (2003).

Classification: D.3 F.3.1

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02013596 Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David

ZML: XML support for standard Z. (English)

Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 437-456 (2003).

Classification: D.3 E.1

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011490 Mazzini, Silvia; D’Alessandro, Massimo; Di Natale, Marco; Domenici, Andrea; Lipari, Giuseppe; Vardanega, Tullio

HRT-UML: Taking HRT-HOOD onto UML. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 405-416 (2003).

Classification: D.3

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011489 Thom, Francis

The standard UML-Ada profile. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 394-404 (2003).

Classification: D.3

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011485 Miranda, Javier; González Harbour, M.

A proposal to integrate the POSIX execution-time clocks into Ada 95. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 344-358 (2003).

Classification: D.3

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011484 Burns, A.; González Harbour, M.; Wellings, A.J.

A round robin scheduling policy for Ada. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 334-343 (2003).

Classification: D.3

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011483 Masmano, Miguel; Real, Jorge; Ripoll, Ismael; Crespo, Alfons

Running Ada on real-time Linux. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 322-333 (2003).

Classification: D.3 D.3.4 D.4

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011480 Franch, Xavier; Marco, Jordi

A quality model for the Ada standard container library. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 283-296 (2003).

Classification: D.3

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011479 Heaney, Matthew

Charles: A data structure library for Ada95. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 271-282 (2003).

Classification: D.3 E.1

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011478 Grein, Christoph; Kazakov, Dmitry A.; Wilson, Fraser

A survey of physical unit handling techniques in Ada. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 258-270 (2003).

Classification: D.3

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011473 Alves, Mário Amado; Jorge, Alípio; Heaney, Matthew

The use of Ada, GNAT. Spitbol, and XML in the Sol-Eu-Net project. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 196-207 (2003).

Classification: D.3

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011468 Briot, Emmanuel; Gasperoni, Franco; Dewar, Robert; Craeynest, Dirk; Waroquiers, Philippe

Exposing memory corruption and finding leaks: Advanced mechanisms in Ada. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 129-141 (2003).

Classification: D.3

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02011467 Brosgol, Benjamin M.; Wellings, Andy

A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java. (English)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 113-128 (2003).

Classification: D.3

20

PDF XML AMS-TeX TEXT BIBTeX URL