


default search action
Computer Networks and ISDN Systems, Volume 29
Volume 29, Number 1, 1 December 1996
- Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou:

Standardization of Formal Methods in Conformance Testing of Communication Protocols. 3-14 - Finn Kristoffersen, Thomas Walter:

TTCN: Towards a Formal Semantics and Validation of Test Suites. 15-47 - Jan Tretmans:

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. 49-79 - Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao:

On Fault Coverage of Tests for Finite State Specifications. 81-106 - Ahmet Feyzi Ates

, Behçet Sarikaya:
Test Sequence Generation and Timed Testing. 107-131
Volume 29, Number 2, January 1997
- Willibald A. Doeringer, Douglas Dykeman, Marcia Peters, Haldon J. Sandick, Ken V. Vu, Jeff Derby:

Access architecture for a multiprotocol broadband backbone. 137-155 - Shyamal Chowdhury, Bhaskar Sengupta:

Design and performance of a threshold-based load balancing scheme in an ATM switch. 157-164 - Gopalakrishnan Meempat:

Throughput behavior of reliable stream protocols in admission controlled bearer networks. 165-179 - Jane M. Simmons:

Proof of correctness of ATM retransmission scheme. 181-194 - Tee-Hiang Cheng:

A multichannel ATM switch with output buffering. 195-208 - Tee-Hiang Cheng:

Design and analysis of a multichannel transmission scheme. 209-220 - Nen-Fu Huang, Shiann-Tsong Sheu:

A waste-free congestion control scheme for dual bus high-speed networks. 221-235 - Mohammad Peyravian, Raif O. Onvural:

Algorithm for efficient generation of link-state updates in ATM networks. 237-247 - Izhak Rubin, James Chien-Hsing Wu:

Analysis of an FDDI network supporting stations with single-packet buffers. 249-266
Volume 29, Number 3, 1 February 1997
- Luc Léonard, Guy Leduc:

An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. 271-292 - Randall Landry, Ioannis Stavrakakis:

Multiplexing ATM Traffic Streams with Time-Scale-Dependent Arrival Processes. 293-313 - Abheek Saha, Maharaj Mukherjee, P. Dhar:

Design and Implementation of a Network Service Access Point (NSAP) for OSI-Compatibility. 315-324 - Ibrahim W. Habib, Ahmed A. Tarraf, Tarek N. Saadawi:

A Neural Network Controller for Congestion Control in ATM Multiplexers. 325-334 - Csaba Szabó:

An Ethernet Compatible Protocol to Support Real Time Traffic and Multimedia Applications. 335-342 - Izhak Rubin, Kirk K. Chang:

Voice Quality Control Under Dynamic Encoding Algorithms in ATM Networks. 343-355 - Michael J. Ferguson:

Formalization and Validation of the Radio Link Protocol (RLP1). 357-372 - Deep Medhi:

Models for Network Design, Servicing and Monitoring of ATM Networks Based on the Virtual Path Concept. 373-386
Volume 29, Number 4, 14 March 1997
- Kenneth J. Turner, Giuseppe Scollo:

Specification Architecture. 393-395 - Kenneth J. Turner:

Specification Architecture Illustrated in a Communications Context. 397-411 - Dick A. C. Quartel, Luís Ferreira Pires

, Marten van Sinderen
, Henry M. Franken, Chris A. Vissers:
On the Role of Basic Design Concepts in Behaviour Structuring. 413-436 - Kenneth J. Turner:

Relating Architecture and Specification. 437-456 - Richard O. Sinnott, Kenneth J. Turner:

Applying the Architectural Semantics of ODP to Develop a Trader Specification. 457-471 - Gordon S. Blair, Lynne Blair, Jean-Bernard Stefani:

A Specification Architecture for Multimedia Systems in Open Distributed Processing. 473-500 - Mohammed Faci, Luigi Logrippo, Bernard Stepien:

Structural Models for Specifying Telephone Systems. 501-528
Volume 29, Number 5, April 1997
- Celina S. Albanese, Joseph A. Bannister, George C. Polyzos, Malathi Veeraraghavan, Martina Zitterbart:

Editorial introduction. 535-537 - Kris Steenhaut, Kurt Degieter, Wouter Brissinck, Erik F. Dirkx:

Scheduling and admission control policies: A case study for ATM. 539-554 - Lily Cheng:

Quality of services based on both call admission and cell scheduling. 555-567 - Saragur M. Srinidhi, William H. Thesling, Vijay K. Konangi:

An adaptive scheme for admission control in ATM networks. 569-582 - Ram Krishnan:

Rate-based control schemes for ABR traffic - Design principles and performance comparison. 583-593 - M. Hogan, R. Keaney, E. Wilson, M. Hudson, Mark A. Bickerstaff, David J. Skellern, M. Krischer:

An architectural framework for the support of integrated services by broadband customer premises equipment. 595-610
Volume 29, Number 6, May 1997
- Ian F. Akyildiz, Inwhee Joe, Richard M. Fujimoto, Ioanis Nikolaidis:

Parallel simulation of end-to-end ATM models. 617-630 - Gopalakrishnan Meempat, Malur K. Sundareshan:

Combined access control and routing for connection oriented traffic in high-speed networks: A two-level approach. 631-652 - Marco Ajmone Marsan, Claudio Casetti, Fabio Neri:

The fairness issue in the CRMA-II MAC protocol. 653-673 - Rahmi Marasli, Paul D. Amer, Phillip T. Conrad:

An analytic study of partially ordered transport services. 675-699 - Sung Jo Hong, Hideaki Takagi:

Analysis of transmission delay for a structured-priority packet-switching system. 701-715 - Mounir Hamdi, Woo Chat Ming:

Dynamic pi-persistent protocol with reduced station hardware. 717-722
Volume 29, Number 7, August 1997
Theme issue FORTE'95
- Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:

Forte '95. 731-733 - Walid Dabbous:

High-performance protocol architecture. 735-744 - Michel Diaz, Philippe Owezarski:

From multimedia models to multimedia transport protocols. 745-758 - Ahmed Khoumsi, Kassem Saleh:

Two formal methods for the synthesis of discrete event systems. 759-780 - Bong Dae Choi, Chul Geun Park, Dan Keun Sung:

Performance analysis of a Leaky Bucket scheme with a threshold in the data buffer. 781-795 - I-Fei Tsai, Rong-Hong Jan:

Internetting connectionless data networks with a wide area public ATM network. 797-810 - Wing Cheong Lau, San-qi Li:

Traffic distortion and inter-source cross-correlation in high-speed integrated networks. 811-830 - Julie Pointek, Forrest Shull, Roseanne Tesoriero, Ashok K. Agrawala:

NetDyn revisited: a replicated study of network dynamics. 831-840 - Russell J. Clark, Mostafa H. Ammar:

Providing scalable Web services using multicast communication. 841-858
Volume 29, Numbers 8-13, 30 September 1997
- Tomasz Mojsa, Krzysztof Zielinski:

Web enabled, CORBA Driven, Distributed VideoTalk Environment on the Java Platform. 865-873 - Jin Yu, Yuanyuan Xiang:

Hypermedia Presentation and Authoring System. 875-886 - Arun Katkere, Jennifer Schlenzig, Ramesh C. Jain:

Content-Centric Interactive Video on the World Wide Web. 887-895 - Anton Eliëns, Martijn van Welie, Jacco van Ossenbruggen, Bastiaan Schönhage:

Jamming (on) the Web. 897-903 - Mark Day, John F. Patterson, David Mitchell:

The Notification Service Transfer Protocol (NSTP): Infrastructure for Synchronous Groupware. 905-915 - Ulrich Gall, Franz J. Hauck:

Promondia: A Java-based Framework for Real-Time Group Communication in the Web. 917-926 - Nigel Edwards, Owen Rees:

High Security Web Servers and Gateways. 927-938 - Amir Herzberg

, Hilik Yochai:
MiniPay: Charging per Plick on the Web. 939-951 - Yang-Hua Chu, Joan Feigenbaum, Brian A. LaMacchia, Paul Resnick, Martin Strauss:

REFEREE: Trust Management for Web Applications. 953-964 - Akitoshi Yoshida:

MOWS: Distributed Web and Cache Server in Java. 965-975 - Roland P. Wooster, Marc Abrams:

Proxy Caching That Estimates Page Load Delays. 977-986 - Masaaki Nabeshima:

The Japan Cache Project: An Experiment on Domain Cache. 987-995 - Peter Scheuermann, Junho Shim, Radek Vingralek:

A Case for Delay-Conscious Caching of Web Documents. 997-1005 - Steve J. Caughey, David B. Ingham, Mark C. Little:

Flexible Open Caching for the Web. 1007-1017 - Om P. Damani, P. Emerald Chung, Yennun Huang

, Chandra M. R. Kintala, Yi-Min Wang:
ONE-IP: Techniques for Hosting a Service on a Cluster of Machines. 1019-1027 - Israel Ben-Shaul, Shlomit Ifergan:

WebRule: An Event-Based Framework for Active Collaboration among Web Servers. 1029-1040 - Maurice Szmurlo, Jacques Madelaine:

A Network of Asynchronous Micro-Servers as a Framework for Server Development. 1041-1051 - Keith Kong, Dipak Ghosal:

Pseudo-Serving: A User-Responsible Paradigm for Internet Access. 1053-1064 - Manfred Bathelt, Ulrich Gall, Bernd Hindel, Christian Kurzke:

Accessing Embedded Systems via WWW: The ProWeb Toolset. 1065-1073 - Timothy W. Bickmore, Bill N. Schilit:

Digestor: Device-Independent Access to the World Wide Web. 1075-1082 - Peter Parnes, Mattias Mattsson, Kåre Synnes, Dick Schefström:

The mWeb Presentation Framework. 1083-1090 - Tie Liao:

WebCanal: A Multicast Web Application. 1091-1102 - Richard M. Keller, Shawn R. Wolfe, James R. Chen, Joshua L. Rabinowitz, Nathalie Mathe:

A Bookmarking Service for Organizing and Sharing URLs. 1103-1114 - Fabio Vitali, Chao-Min Chiu, Michael Bieber:

Extending HTML in a Principled Way with Displets. 1115-1128 - John H. Hartman, Todd A. Proebsting, Rajesh Sundaram:

Index-Based Hyperlinks. 1129-1135 - Tsuyoshi Sakata, Hiroyuki Tada, Tomohisa Ohtake:

Metadata Mediation: Representation and Protocol. 1137-1146 - Marilyn R. Wulfekuhler, William F. Punch III:

Finding Salient Features for Personal Web Page Categories. 1147-1156 - Andrei Z. Broder, Steven C. Glassman, Mark S. Manasse, Geoffrey Zweig:

Syntactic Clustering of the Web. 1157-1166 - Kenji Takahashi, Eugene Liang:

Analysis and Design of Web-based Information Systems. 1167-1180 - Sougata Mukherjea

, Kyoji Hirata, Yoshinori Hara:
Towards a Multimedia World-Wide Web Information Retrieval Engine. 1181-1191 - Jonathan Shakes, Marc Langheinrich, Oren Etzioni:

Dynamic Reference Sifting: A Case Study in the Homepage Domain. 1193-1204 - Ellen Spertus

:
ParaSite: Mining Structural Information on the Web. 1205-1215 - Chia-Hui Chang

, Ching-Chi Hsu:
Customizable Multi-Engine Search Tool with Clustering. 1217-1224 - Massimo Marchiori:

The Quest for Correct Information on the Web: Hyper Search Engines. 1225-1236 - Brian A. LaMacchia:

The Internet Fish Construction Kit. 1237-1248 - Daniel Siaw Weng Ngu, Xindong Wu:

SiteHelper: A Localized Agent That Helps Incremental Exploration of the World Wide Web. 1249-1255 - S. Jeromy Carrière, Rick Kazman:

WebQuery: Searching and Visualizing the Web Through Connectivity. 1257-1267 - Yoëlle S. Maarek, Michal Jacovi, Menachem Shtalhaim, Sigalit Ur, Dror Zernik, Israel Ben-Shaul:

WebCutter: A System for Dynamic and Tailorable Site Mapping. 1269-1279 - Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham:

Constructing Reliable Web Applications Using Atomic Actions. 1281-1290 - Stathes Hadjiefthymiades

, Drakoulis Martakos:
Improving the Performance of CGI Compliant Database Gateways. 1291-1304 - Gustavo O. Arocena, Alberto O. Mendelzon, George A. Mihaila

:
Applications of a Web Query Language. 1305-1315 - Tim Mills, Ken Moody, Kerry Rodden:

Providing World Wide Access to Historical Sources. 1317-1325 - Michael Potmesil:

Maps Alive: Viewing Geospatial Information on the WWW. 1327-1342 - James E. Pitkow:

In Search of Reliable Usage Data on the WWW. 1343-1355 - John Graham-Cumming:

Hits and Miss-es: A Year Watching the Web. 1357-1365 - Dave J. Beckett:

30% Accessible - A Survey of the UK Wide Web. 1367-1375 - T. V. Raman:

Cascaded Speech Style Sheets. 1377-1383 - Raymond Lau, Giovanni Flammia, Christine Pao, Victor Zue:

WebGALAXY: Beyond Point and Click - a Conversational Interface to a Browser. 1385-1393 - Frankie James:

AHA: Audio HTML Access. 1395-1404 - David B. Ingham, Steve J. Caughey, Mark C. Little:

Supporting Highly Manageable Web Services. 1405-1416 - James Reilly, Petri Niska, Luca Deri, Dieter Gantenbein:

Enabling Mobile Network Managers. 1417-1428 - Hans-Werner Gellersen, Robert Wicke, Martin Gaedke

:
WebComposition: An Object-Oriented Support System for the Web Engineering Lifecycle. 1429-1437 - Gregg C. Vanderheiden:

Anywhere, Anytime (+ Anyone) Access to the Next-Generation WWW. 1439-1446 - Hidekazu Sakagami, Tomonari Kamba:

Learning Personal Preferences on Online Newspaper Articles from User Behaviors. 1447-1455 - Michel Banâtre, Valérie Issarny, Frédéric Leleu, Boris Charpiot:

Providing Quality of Service over the Web: A Newspaper-Based Approach. 1457-1465 - Takao Shimada, Naoko Iwami, Takewo Tomokane, Mitsuo Hayashi, Yasuyuki Kuwahara:

Interactive Scaling Control Mechanism for World-Wide Web Systems. 1467-1477 - Michael Pieper, Dirk Hermsdorf:

BSCW for Disabled Teleworkers: Usability Evaluation and Interface Adaptation of an Internet-Based Cooperation Environment. 1479-1487 - D. Bachiochi, M. Berstene, E. Chouinard, N. Conlan, M. Danchak, T. Furey, C. Neligon, D. Way:

Usability Studies And Sesigning Navigational Aids for the World Wide Web. 1489-1496 - Constantinos Phanouriou, Marc Abrams:

Transforming Command-Line Driven Systems to Web Applications. 1497-1505 - Arturo Crespo, Bay-Wei Chang, Eric A. Bier:

Responsive Interaction for a Large Web Application: The Meteor Shower Architecture in the WebWriter II Editor. 1507-1517 - Dorée D. Seligmann, Cati Laporte, Stephan Vladimir Bugaj:

The Message is the Medium. 1519-1530 - Andreas Girgensohn, Alison Lee:

Seamless Integration of Interactive Forms into the Web. 1531-1542
Volume 29, Number 14, October 1997
Visualization and Graphics on the World Wide Web
- Harold P. Santo:

Visualization and Graphics on the World Wide Web. 1555-1557 - Mohamed Imine, Hiroshi Nagahashi:

A new approach in polynomial and Bézier parametric piecewise modeling. 1559-1570 - Jintae Lee:

Physically-based modeling of brush painting. 1571-1576 - Marc H. Brown, Roope Raisamo:

JCAT: Collaborative active textbooks using Java. 1577-1586 - Peter J. C. Brown:

A fast algorithm for selective refinement of terrain meshes. 1587-1599 - Daniel Thalmann, Christian Babski, Tolga K. Çapin, Nadia Magnenat-Thalmann, Igor S. Pandzic:

Sharing VLNET worlds on the Web. 1601-1610 - Andrew Rau-Chaplin

, Brian MacKay-Lyons, Timmy Doucette, Jedrzej Gajewski, Xiangqun Hu, Peter F. Spierenburg:
Graphics support for a World-Wide-Web based architectural design service. 1611-1623 - Kartik Venkataraman, Tim Poston:

Piece-wise linear morphing and rendering with 3D textures. 1625-1633 - Chungnan Lee, Tong-Yee Lee, Tainchi Lu, Yao-Tsung Chen

:
A World-Wide Web based distributed animation environment. 1635-1644 - Hellmuth Stachel:

Coordinates - A survey on higher geometry. 1645-1654 - Daniele Marini, Maurizio Rossi

, Laura Moltedo, Ovidio Salvetti:
Virtual reality and Web tools to convey the visual information of ancient monuments. 1655-1660 - Eduard Sojka:

Two simple and efficient algorithms for Jordan sorting and polygon cutting and clipping. 1661-1673 - Konstantinos Moutsopoulos, Duncan Gillies:

Deformable models for laparoscopic surgery simulation. 1675-1683 - Karin Coninx, Frank Van Reeth

, Eddy Flerackers:
2D human-computer interaction techniques in immersive virtual environments. 1685-1693 - Pierre Macé:

Tensorial calculus of line and plane in homogeneous coordinates. 1695-1704 - Przemyslaw Rokita

:
Application of image processing techniques in computer graphics algorithms. 1705-1714 - Dominique Bechmann, Yves Bertrand, Sylvain Thery:

Continuous free form deformation. 1715-1725 - Gustavo Patow

, Claudio Delrieux:
Environment mapped refraction models for low cost scan-line rendering. 1727-1736 - Laurent Lucas, Didier Gillard, Yannick Rémion:

A new unsupervised cube-based algorithm for iso-surface generation. 1737-1744
Volume 29, Number 15, November 1997
Selected Papers of the 8th Joint European Networking Conference
- Hannes Lubich:

Guest editorial. 1749-1750 - Steve Benford

, Dave Snowdon, Chris Brown, Gail Reynard
, Rob Ingram:
Visualising and populating the Web: Collaborative virtual environments for browsing, searching and inhabiting Webspace. 1751-1761 - Daniel M. Kohn:

Providing global broadband Internet access using low-earth-orbit satellites. 1763-1768 - E. J. W. West:

Using the Internet for business - Web oriented routes to market and existing IT infrastructures. 1769-1776 - Christine Cahoon, George Dunn, Majella McCarron, George Munroe:

Environment to inspire network users (ETINU) The development of a complete online support system. 1777-1785 - Robert Grebner:

Use of instructional material in universal teleteaching environments. 1787-1797 - Chris I. Dalton, Jonathan F. Griffin:

Applying military grade security to the Internet. 1799-1808 - Douglas H. Steves, Chris Edmondson-Yurkanan, Mohamed G. Gouda:

Properties of secure transaction protocols. 1809-1821 - Bert-Jaap Koops:

Crypto regulation in Europe. Some key trends and issues. 1823-1831 - Uwe Horn, Bernd Girod:

Scalable video transmission for the Internet. 1833-1842 - Jürgen Schönwälder:

Network management by delegation - From research prototypes towards standards. 1843-1852
Volume 29, Number 16, 15 December 1997
- Tai H. Noh, Dhadesugoor R. Vaman, Xuedao Gu:

Reconfiguration for Service and Self-Healing in ATM Networks Based on Virtual Paths. 1857-1867 - Jonathan Weinstock, Rajiv Tewari:

An Object-Oriented Approach to the Management of Distributed Application Systems. 1869-1879 - Aurelio La Corte, Alfio Lombardo, Giovanni Schembra:

An Analytical Paradigm to Calculate Multiplexer Performance in an ATM Multimedia Environment. 1881-1900 - Nima Ahmadvand, Terence D. Todd:

Dual-Hop LANs using a Wavelength Routing Cross Connect. 1901-1917 - Hoon Lee, Yoshiaki Nemoto:

Providing the Statistical QoS Objectives in High-Speed Networks. 1919-1931 - Shie-Jue Lee, Yu-Wen Lai, Jian-Jou Lai, Chi-Jong Chang:

A Slot Reuse Scheme for CRMA Networks. 1933-1951 - Paolo Giacomazzi, Achille Pattavina:

Design and Performance Evaluation of the ATM Multicast Shuffleout Switch. 1953-1968 - Henry C. B. Chan, Victor C. M. Leung:

Reservation Arbitrated Access - A Bandwidth on Demand Protocol for Multiplexing Variable Bit Rate Isochronous Traffic Over Dual Bus Metropolitan Area Networks. 1969-1987 - Harry Rudin:

Challenges to the network: Telecoms and the internet. 1991-1992
Volume 29, Numbers 17-18, February 1998
- Ibrahim Matta

, A. Udaya Shankar:
Fast time-dependent evaluation of multi-service networks. 1999-2019 - Ahmed Mehaoua, Raouf Boutaba:

Performance analysis of cell discarding techniques for best effort video communications over ATM networks. 2021-2037 - Dominique Présent, Caroline Fayet, Guy Pujolle:

An optimal solution for ATM switches. 2039-2052 - Rosângela Coelho

, Samir Tohmé:
A generic smoothing algorithm for real-time variable bit rate video traffic. 2053-2066 - Mani B. Srivastava, Partho Pratim Mishra, Prathima Agrawal, Giao Nguyen:

Ethersim: a simulator for application-level performance modeling of wireless and mobile ATM networks. 2067-2090 - Liping An, Nirwan Ansari

, Ambalavanar Arulambalam:
TCP/IP traffic over ATM networks with FMMRA ABR flow and congestion control. 2091-2102 - Tamer Dag, Ioannis Stavrakakis:

Evaluation of ABR traffic management under various system time scales. 2103-2117 - Cheng-Shong Wu, Jin-Chyang Jiau, Kim-Joan Chen:

Providing traffic smoothness and service guarantees within ATM networks through a rate-controlled service discipline. 2119-2138 - Yuan-Cheng Lai, Ying-Dar Lin:

Performance analysis of rate-based flow control under a variable number of sources. 2139-2152 - Nelson L. S. da Fonseca

, John A. Silvester:
Modelling the output process of an ATM multiplexer with correlated priorities. 2153-2164 - Marco Ajmone Marsan, Andrea Bianco, Claudio Casetti, Carla-Fabiana Chiasserini, Andrea Francini, Renato Lo Cigno, Maurizio M. Munafò:

An integrated simulation environment for the analysis of ATM networks at multiple time scales. 2165-2185 - Véronique Vèque, Jalel Ben-Othman

:
MRAP: A multiservices resource allocation policy for wireless ATM network. 2187-2200 - Song Chong, Ramesh Nagarajan, Yung-Terng Wang:

First-order rate-based flow control with dynamic queue threshold for high-speed wide-area ATM networks. 2201-2212

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














