Abstract is missing.
- Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth TablesJean Vuillemin. 1-12 [doi]
- Performance Evaluation of Networks: New Problems and ChallengesAlain Jean-Marie. 13-14 [doi]
- Emerging Patterns and ClassificationJinyan Li, Kotagiri Ramamohanarao, Guozhu Dong. 15-32 [doi]
- IPv6 Performance Analysis on FreeBSD Workstation Using Simple ApplicationsK. Ettikan, V. Ganapathy. 33-42 [doi]
- Performance of Location Caching Scheme to Support Call Locality in Wireless NetworksDong Chun Lee, Jeom Goo Kim, JooSeok Song. 43-57 [doi]
- A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID ArchitecturesChong-Won Park, Young-Yearl Han. 58-68 [doi]
- Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM NetworkDer-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang. 69-87 [doi]
- Spatial Congruence for Ambients Is DecidableSilvano Dal-Zilio. 88-103 [doi]
- A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video DataChoon-Bo Shim, Jae-Woo Chang. 104-118 [doi]
- Node-to-Set Disjoint Paths Problem in Rotator GraphsKeiichi Kaneko, Yasuto Suzuki. 119-132 [doi]
- On Simulation-Checking with Sequential SystemsAntonín Kucera. 133-148 [doi]
- Reusing Animations in Databases for Multimedia PresentationsZhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr.. 149-161 [doi]
- Reflecting BDDs in CoqKumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar. 162-181 [doi]
- On Model Checking Synchronised Hardware CircuitsMartin Leucker. 182-198 [doi]
- Safe Ambients: Control Flow Analysis and SecurityPierpaolo Degano, Francesca Levi, Chiara Bodei. 199-214 [doi]
- Security Types for Mobile Safe AmbientsMariangiola Dezani-Ciancaglini, Ivano Salvo. 215-236 [doi]
- Improving Functional Logic Programs by Difference-ListsElvira Albert, César Ferri, Frank Steiner, Germán Vidal. 237-254 [doi]
- A New Multihop Logical Topology for Reliable Broadband CommunicationU. Bhattacharya, R. Chaki. 255-262 [doi]
- A New Scalable Topology for Multihop Optical NetworksU. Bhattacharya, R. Chaki. 263-272 [doi]
- On Computable Tree FunctionsMasahiro Kimoto, Masako Takahashi. 273-289 [doi]
- Sharpening the Undecidability of Interval Temporal LogicKamal Lodaya. 290-298 [doi]