The SCEAS System
Navigation Menu

Conferences in DBLP

Tools and Algorithms for Construction and Analysis of Systems (TACAS) (tacas)
1998 (conf/tacas/1998acos)

  1. Alain Lardenois
    The Web Impact: A White Paper. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:1-7 [Conf]
  2. Pamela Zave
    `Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:8-27 [Conf]
  3. Maurizio Decina
    Convergence of Telecommunications and Computing on Networking Models for Integrated Services and Applications. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:28- [Conf]
  4. Siegfried Handschuh, Ulrike Lechner, David-Michael Lincke, Beat Schmid, Petra Schubert, Dorian Selz, Katarina Stanoevska-Slabeva
    The NetAcademy - A New Concept for Online Publishing and Knowledge Management. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:29-43 [Conf]
  5. Robert Hess, Dagmar Geske, Sascha Kümmel, Henrik Thuermer
    Distributed Compression of Live Video - An Application for Active Networks. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:44-60 [Conf]
  6. Ken'ichi Kakizaki
    Incremental Scene Graph Distribution Method for Distributed Virtual Environments. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:61-74 [Conf]
  7. André Hergenhan, Christoph Weiler, Karlheinz Weiß, Wolfgang Rosenstiel
    Value-Added Services in Industrial Automation. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:75-89 [Conf]
  8. Dirk O. Keck
    Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:90-105 [Conf]
  9. Hyunsook Do, Seongyong Bae, Sangki Kim
    INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:106-116 [Conf]
  10. P. Florschütz
    Testing IN Protocol Implementation. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:117-127 [Conf]
  11. Sahin Albayrak, Jens Meinköhn
    Agent-Based Data Services in Future IN-Platforms. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:128-141 [Conf]
  12. Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi
    Visualisation of Executable Formal Specifications for User Validation. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:142-157 [Conf]
  13. M. Lusini, Enrico Vicario
    Design and Evaluation of a Visual Formalism for Real Time Logics. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:158-173 [Conf]
  14. Carla Capellmann, Søren Christensen, Uwe Herzog
    Visualising the Behaviour of Intelligent Networks. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:174-189 [Conf]
  15. Tiziana Margaria, Volker Braun
    Formal Methods and Customized Visualization: A Fruitful Symbiosis. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:190-207 [Conf]
  16. Rainer Schlör, Bernhard Josko, Dieter Werth
    Using a Visual Formalism for Design Verification in Industrial Environments. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:208-221 [Conf]
  17. Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
    Automatic Error Location for IN Service Definition. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:222-237 [Conf]
  18. Jeomja Kang, Jeonghun Choi, Sehyeong Cho
    The Generation of Service Database Schema through Service Creation Environment. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:238-249 [Conf]
  19. Luis Orozco-Barbosa, Dimitrios Makrakis, Nicolas D. Georganas
    A Study of Intelligent Multimedia Services over PSTNs and the Internet. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:250-264 [Conf]
  20. Manuel Duque-Antón, Ralf Günther, Raschid Karabek, Thomas Meuser, Josef Wasel
    Open Switching for ATM Networks. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:265-277 [Conf]
  21. Hee Jin Lim, Go Bong Choi
    Application of INAP to AIN Intelligent Peripheral. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:278-290 [Conf]
  22. S. Biacchi, G. Ferrari, Roberta Gobbi
    IN Evolution to Support Mobility in DECT Access Networks. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:291-305 [Conf]
  23. D. Blaiotta, Lorenzo Faglia, M. Varisco, L. Vezzoli
    A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:306-322 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002