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